7
Let m = -304 + 314.7. Which is greater: -0.2 or m?
m
Let q = 41.5 + -43. Let w = 0.5 + q. Which is smaller: -11 or w?
-11
Let d be 9 + -1*(10 + -1). Is 28/41 smaller than d?
False
Suppose 120*m - 48*m - 95976 = 0. Is m > 1333?
False
Suppose -160 = -13*x + 8*x - 5*y, -2*y - 35 = -x. Which is bigger: 32 or x?
x
Suppose 0 = -36*o + 3394 + 1034. Is 127 greater than or equal to o?
True
Let j be 10/(-2) + (-10 - (-693)/44). Which is bigger: j or 0.12?
j
Let s(a) = -5*a**2 - 88*a - 20. Let n be s(-17). Is 27 greater than n?
False
Let i(y) = y**3 - y**2 + 2*y - 2. Let p be i(2). Let z = p + -6. Suppose 4*k + z = -4. Is -3 bigger than k?
False
Let z be (-2*(-2)/(-12))/((-2)/(-12)). Is z at least as big as -26?
True
Let v = 15 - 19. Let s = v - -5. Suppose 4 = -5*c - s. Is c greater than -1/11?
False
Suppose 26*u + 16 + 10 = 0. Are -7/45 and u equal?
False
Let p = -7/460 - -1859/182620. Let v = 387/1985 - p. Is v at most as big as 1?
True
Suppose -13 = 5*v + 4*q, 2*q + 15 = -5*v - 3*q. Does 3/62 = v?
False
Let d(r) = 2*r**2 + 10*r. Let q(n) = -n**2 - n. Let g(b) = d(b) + 3*q(b). Let i be g(6). Suppose -i*m - 5 = -m. Which is greater: 0 or m?
0
Let j = -6 + 5. Let o be (4/(-6))/((-5)/(-15)) + 5. Which is bigger: o or j?
o
Let s be (3/(-642))/((-3)/3*1). Is 0 less than or equal to s?
True
Suppose 2*w = 4*q - 50, -3*q + 5*w + 15 + 26 = 0. Let x be ((-4)/1)/(36/q). Which is smaller: x or 3?
x
Let x = -791 - -776. Is 7 greater than or equal to x?
True
Suppose 2*t + 5*b = -3 + 10, -b = 2*t - 3. Let z be (-81)/(-265) + 4/(-10). Let f = z - -373/583. Is t greater than f?
True
Let l = 0.1093 - 0.2093. Suppose 0 = -v + 5*v - 2*t + 36, -3*t = v + 2. Let c = 1 - v. Which is smaller: l or c?
l
Suppose 6 + 36 = 3*g. Let m = -11 + g. Suppose 0 = -5*v + 6 + 19. Is m less than v?
True
Let o = 1 + -2. Let h be (399/(-14))/(-3) + -5. Which is smaller: h or o?
o
Suppose -5*m = -4*m - 28. Let j be m/245*9735/(-6). Let d = -102556/553 - j. Which is greater: -1 or d?
d
Let g be 4/(10*(-2)/(-448)). Let y = g - 89. Is y smaller than 0?
False
Let d = -4.11 - -0.11. Let b = 9 + -56. Let n = -47 - b. Is d bigger than n?
False
Suppose 0*z = -2*z - 12. Let q = -5 - z. Let g be (69/(-46))/(138/8). Is q bigger than g?
True
Let d = -335 - -331. Let r = 0.17 + -0.07. Is d at least as big as r?
False
Let v = -722 + 470. Is v > -250?
False
Suppose 0 = 4*i - 11*i. Let y(m) = m - 16. Let r be y(i). Is -13 less than r?
False
Let i = -70 + 75. Suppose -20 = -q - 4*q, -i*s + 4*q - 16 = 0. Which is greater: -16/11 or s?
s
Let b be -77 + -26 - (3 - 1). Let i be 1*-1*15/(b/14). Let k(v) = 5*v**3 + 2*v**2 + v. Let q be k(-1). Is i smaller than q?
False
Let k = 1061/2 - 521. Suppose 0 = -4*l + 95 + 13. Suppose 0*r - l = -3*r. Is r at least as big as k?
False
Let h = 62 + -35. Let t = 13 - h. Let c = -1653/4 + 413. Is t >= c?
False
Let a be -4*((-36200)/(-6032) - 6). Which is bigger: -1 or a?
a
Suppose -2*g + 9*d - 302 = 14*d, 622 = -4*g - d. Let o = g + 156. Let n be -1 - (1 + -4)/1. Which is greater: o or n?
n
Let m = -18.15 + 19. Let k = m + 0.9. Let w = 1.8 - k. Is 2/3 at most w?
False
Suppose -2*b = 147 - 17. Let f be 2/24 - 45298/696. Is f != b?
False
Let i = 35 + 24. Let f = 57.97 - i. Let v = f - -0.03. Which is smaller: v or 0?
v
Let v be (-3 + 54/10)*10. Let p be (v/6)/(1*-1). Which is bigger: -3 or p?
-3
Suppose -11*y = 49 + 39. Does -47/5 = y?
False
Let z be (304/(-56) + 6)/((-436)/(-14)). Does -1 = z?
False
Let d = -44.81 - -10.31. Which is smaller: d or 2?
d
Let j = -55 + 53. Let d = 69 + -1243/18. Which is smaller: d or j?
j
Suppose v = -0*v + 5, 0 = -4*i + 2*v - 18. Let a = i - 8. Suppose -5*u - 36 = -u. Which is bigger: u or a?
u
Suppose 0 = -z + 11*z - 540. Let y = z + -32. Is 1/3 bigger than y?
False
Suppose -r = 4*v + 17, -20 = -13*v + 14*v - 5*r. Let t = -6642/1585 + -3/317. Which is smaller: v or t?
v
Let s be 3*(-5 + 2163/434). Which is smaller: s or 0?
s
Let c = 27 - 25. Let o be (-32)/7 + (c - 4). Is o less than -8?
False
Suppose 4*h = 5*h + s - 5, -2*h = s - 11. Suppose 0 = -h*a + a - 665. Is -133 at least as big as a?
True
Let g(q) = -q**2 + 15*q - 37. Let w be g(13). Let d be (-9)/(-12) + 153/(-12). Are d and w equal?
False
Let k = 28.064 + -0.064. Let o = k + -28.05. Is o at most -2?
False
Let x = -4/597 - -605/1194. Is 125 greater than x?
True
Suppose 3*i - 19 = 5*v, -i - 8 + 26 = -4*v. Let f be v/4 + (-315)/(-12). Let r be ((-5)/(f/(-5)))/3. Is -1 > r?
False
Let a be (3 - 22/4)*-14. Suppose 0*f + 5*f + 3*u + 35 = 0, -a = 5*f - 2*u. Let q = 11 + f. Are q and 2 nonequal?
True
Let j = 0 + 0.1. Let i = 263 + -293. Is j at most i?
False
Suppose 375 = -5*n - 3065. Which is smaller: n or -687?
n
Let l be ((-10)/(-6))/(165/396). Let p(n) = -2*n + 12. Let c(z) = 2*z - 11. Let k(m) = 7*c(m) + 6*p(m). Let b be k(4). Is b greater than or equal to l?
False
Let l be 39/24 - (-27)/72. Which is smaller: 1/2 or l?
1/2
Let c(i) = 748*i - 2246. Let j be c(3). Let f = 0 - 0. Let k be (f - (1 - -1)) + -1. Which is smaller: j or k?
k
Let l = 3123/2492 - 2/623. Suppose 5*g = -4*u - 17, -2*u + 4 = -4*g - 20. Suppose 0 = o + o - u. Do o and l have the same value?
False
Let m = 763 + -736. Which is smaller: m or 242/9?
242/9
Suppose 128*u - 124*u + 112 = 0. Is u greater than or equal to 0?
False
Suppose 3*f + 72 = 5*q + 7*f, -75 = -5*q - 5*f. Let a(k) = k + 2. Let d be a(10). Let r be 6 + -5 + 1*d. Which is smaller: q or r?
q
Let a = -124 - -126. Which is smaller: a or 25/8?
a
Let z be (2/5)/((-282)/15 - -5). Which is greater: z or 1?
1
Suppose 0 = 2*x - x - 4. Suppose -4*k + 40 = 2*r, 3*k = k + x*r + 30. Let l be (1/(-5))/(k/(-55)). Are l and -1/5 nonequal?
True
Let o = 6 + -6. Let z be 4 - (o/2)/1. Suppose z*m = -m + 35. Which is bigger: m or 11/2?
m
Let g = -180 + 182.93. Let h = 2.8 - g. Let w = 16.13 + h. Is 0 smaller than w?
True
Let m be 3 - ((-2)/14)/(43/60587). Is 203 less than m?
True
Let p(y) = 9*y + 2. Let b(o) = -2*o + 1. Let z(j) = -4*b(j) - p(j). Let x be z(-20). Which is smaller: x or 15?
x
Let w = -2 + 6.3. Let n = w - 4.2. Which is bigger: n or 28?
28
Let f = -174/5 - -6328/185. Is 1 at least as big as f?
True
Let r(o) = -66*o - 595. Let d be r(-9). Which is smaller: -1/925 or d?
d
Let u = -39 + 72. Let d be u/(-44) - (-86)/8. Are 11 and d nonequal?
True
Let w = 7 + -15. Let q = 125/4 + -127/4. Which is bigger: w or q?
q
Let m(k) = -k**3 + k**2 + 2*k - 3. Suppose 0 = -t + 2*t - 2. Let r be m(t). Let o = 5 + r. Which is bigger: 7/3 or o?
7/3
Let v be (27/12)/((-18)/48). Suppose 0 = -0*a + 2*a + 3*s - 51, a - 2*s = 22. Suppose 5*z + 1 + a = 0. Is z bigger than v?
True
Let p(i) = -2*i**2 - 14*i - 3. Let t be p(-7). Is -81/31 at most as big as t?
False
Let o be ((-327)/9)/(1/3). Let r = -1091/10 - o. Which is greater: 1 or r?
1
Suppose 0 = 3*c - 17*c + 1414. Which is smaller: 0.2 or c?
0.2
Let s = -25 + 23. Let v be 15/(-18)*(s - 7/10). Which is bigger: v or 3?
3
Let q = -614 - -610. Is q bigger than 77?
False
Let f(w) = -2*w + 4. Let q be f(3). Let z be 12/(-8)*(400/(-15))/8. Suppose 6 + 14 = z*u. Which is smaller: q or u?
q
Suppose 0 = -w - 3, d + 9 + 8 = -2*w. Let h be -1*1*(-26)/(-2). Is h greater than d?
False
Suppose 5 + 11 = 4*p + 2*t, 2*p - 2*t = 2. Suppose -4*s = -5*q - 5, -p*q = -2*s + 2*q + 5. Which is smaller: s or 18?
s
Let z(w) = -6*w - 6. Let y be z(-6). Suppose 5*n + 0*n = y. Let c be (8/(-10))/(12/(-10)). Is c <= n?
True
Let w be 6 + (4 + -4 - -26). Which is greater: 31 or w?
w
Let t = -6911 - -34249/5. Let v(q) = 10*q - 1. Let o be v(-6). Let l = t - o. Is l smaller than 4?
True
Let z = -87 - -88.35. Let v = z - 2.65. Which is smaller: -3 or v?
-3
Let j = -5.2 - -6. Let a = j + -0.5. Let b be (12/40)/((-3)/2). Is a greater than or equal to b?
True
Let g = 64.4 - 1.4. Let l = 53 - g. Does -2 = l?
False
Let g = 190 + -61. Which is smaller: g or 128?
128
Let u(p) = -p**2 - 5*p. Let c be u(-6). Let o be (c/(-9))/((-2)/(-51)). Suppose 3*v + 7 + o = 0. Which is bigger: 2 or v?
2
Let j(u) = u**3 + 2*u**2 - u - 1. Let n be j(0). Let g = n + 3. Suppose 4*v + 5*l - 44 = 0, 12 = 5*v - g*l - 10. Is v equal to 6?
True
Let c(u) = u**2 - 2*u - 5. Let b be 3*(-5)/(-5)*1. Let m be c(b). Which is smaller: 2 or m?
m
Let n = 198 - 227. Which is bigger: n or -28?
-28
Let x = 1