-78)*1/(-2). Which is bigger: -1/244 or w?
w
Let i = -39.9 + 40. Let f = i - 1.1. Is f smaller than 20?
True
Suppose -116*y + 120*y = 0. Is y greater than or equal to 4?
False
Let j = 59 - 54. Suppose 2*o + 4 + j = -t, -3*o - 2*t - 16 = 0. Is -2 at least o?
True
Suppose 4*v + 6 = 2*o + 2*v, -o + 4*v - 3 = 0. Suppose -15 = o*n, -k - 2*n = k - 30. Let z be (4/10)/(k/10). Is z <= -0.1?
False
Let b be (2/10)/(-8 - -9)*-1. Is 1/4 smaller than b?
False
Let r(j) = -j**2 - 33*j - 26. Let c be r(-22). Is c less than 214?
False
Let j be (-108)/9 - (-100450)/8370. Is j < 1?
True
Let j be (-3)/((-45)/21) + 6/(-15). Let c = 245/1677 + 1/129. Are c and j nonequal?
True
Let q = -3.92 - -15.92. Is 0.11 at least q?
False
Suppose -12 = t - 14. Let u be 0/(t - (0 - -3)). Is u > -5/13?
True
Let k be (1/21)/(18/(-108)) + (-10)/14. Suppose 0 = -3*w - h - 107, -3*w + 3*h = -h + 127. Which is smaller: w or k?
w
Let h = 5833542300381 - 3622628466817802/621. Let i = -2096165 + h. Let x = 11/27 - i. Which is smaller: x or 1?
x
Let n = 4209 + -5172859/1229. Which is smaller: 1 or n?
n
Let k = 136729/7 - 19466. Let o = -67 + k. Let x(d) = -d**2 + 5*d + 1. Let l be x(5). Which is bigger: l or o?
l
Let t be 11320/175 + 8/(-28). Which is smaller: 63 or t?
63
Let c = -42 - -43. Let g = 1.4 + -6.4. Which is smaller: c or g?
g
Let i = 1.098 - 1.24. Let a = 11.2 - 11.3. Which is smaller: a or i?
i
Suppose 0 = 2*r + 2*r + 396. Let t = -695/7 - r. Which is greater: 9 or t?
9
Let c(l) = -l**3 + 7*l**2 + 8*l + 2. Let m be c(8). Suppose -m*n + 25 = 3*n. Suppose -2*s + n = 3. Which is smaller: s or -2/21?
-2/21
Let q = 0.013 + 2.687. Let v = 2.51 - q. Is v at most -1?
False
Let p(n) = 5*n**2 - 47*n + 18. Let k be p(10). Which is smaller: 46 or k?
46
Let l = 1.434 - 2.434. Let t = 4 + -45/11. Which is greater: l or t?
t
Let f be ((-2)/5)/(32/(-18320)). Let i = -219 + f. Let q = -27 - -38. Does i = q?
False
Suppose -116*p = -104*p - 132. Suppose 4*o + 22 + 14 = 0. Let d be -3*(2 - (-51)/o). Is p at most as big as d?
True
Suppose -3*o = 4*b + 2*o - 43, -2*b + 2*o + 8 = 0. Let z = -27 - -29. Suppose 28 = 4*l - 2*y - 0*y, l - 2 = -z*y. Which is smaller: l or b?
l
Let w = 32 + -32. Suppose 2*b + 0 - 20 = w. Do b and 8 have different values?
True
Let k = 707.09 - 707. Are 1/12 and k nonequal?
True
Let k be -1 - (-1 + 2 + 1). Let z be (-16)/(-6)*(-3 - 0). Let n be (z/(-10))/(1/(-10)). Is n >= k?
False
Let m = 400 - 457. Which is greater: -111/2 or m?
-111/2
Let j(h) = h**3 + 7*h**2 - 8*h - 10. Let r be j(-8). Let t be 31/3 - r/15. Let m(a) = a**2 - 12*a - 4. Let s be m(t). Is s at least as big as -15?
True
Suppose -3*t = -27*t - 168. Which is smaller: t or -5?
t
Let l(q) = 111*q + 6. Let y be l(-1). Which is smaller: y or -0.2?
y
Suppose -2*o - 4*o = -4*o. Which is smaller: o or -0.119?
-0.119
Let l = -329 - -337. Is l less than 0?
False
Let a be (0 - 3/612)*192/(-216). Is a less than 0?
False
Let y be 36/4 + 8569/(-950). Suppose 7*r - 2*r = 0. Is r greater than or equal to y?
True
Let c be 30/(-10) + 38/14. Let f = -2.2 - 6. Let y = f - -8. Which is bigger: c or y?
y
Let a be (1 + 0)/((-67)/(-33299)). Which is smaller: a or 499?
a
Suppose -26*n + 18*n = -8. Is n less than or equal to 3/820?
False
Let r be (-21)/(-105) + 4/(-20). Which is greater: 0.755 or r?
0.755
Suppose -15 = -64*a + 67*a, -4*a - 1024 = -4*u. Is u greater than or equal to 252?
False
Let o = 1/15 - -1/3. Let r = 574 + -573.4. Which is smaller: o or r?
o
Suppose 2*t = 3*s + 6*t - 11, 3*s - 9 = -3*t. Let c = -944 - -51918/55. Let f = 49/165 - c. Do f and s have the same value?
False
Let p = 378 + -377. Is -1.38 at most p?
True
Let k = 0.07 - 0. Let a be (10/52*(-20)/25)/(-4 - -3). Which is bigger: a or k?
a
Suppose -2*q + 3*q - 5 = 0. Suppose 0 = 2*t + 3*s - 15 - 17, -t = -q*s - 3. Is t at most as big as 13?
True
Let d = 19.47 - 20.6. Let p = d - -0.13. Let f = 10/7 - 2/21. Which is smaller: p or f?
p
Let o = -1463 + 1253. Which is smaller: -211 or o?
-211
Suppose 2*b - 1 = 7, 144 = -4*z + b. Let v be 4/14 - (-115)/z. Which is smaller: -2 or v?
v
Let m = 44.016 - 44. Let n = m - 0.216. Which is bigger: 4 or n?
4
Let z(b) = -2*b**2 + 10*b + 3. Let n be z(5). Suppose -360 = n*x + 3*x. Are x and -59 nonequal?
True
Let d(k) = -8*k**3 - 9*k**2 - 31*k - 15. Let l be d(-3). Is l at least 212?
True
Suppose 0 = 4*t + 3*s - 12, -s = -4. Let m = 23.6 - -7.4. Let l = m - 18. Which is greater: l or t?
l
Suppose -8 = -4*y - 4*y. Which is smaller: y or -11?
-11
Suppose -2*k + 5*f - 1705 = 2*k, -k = -5*f + 445. Let v be (-2)/(-9) - k/(-675). Suppose 0 = -0*p - 5*p - 75. Which is smaller: p or v?
p
Let d = -8 - -8.3. Let j = -4.3 + d. Let r = 1528/9 - 170. Are j and r nonequal?
True
Let z = -303.7 + 282. Let u = 22 + z. Which is greater: -2 or u?
u
Suppose 5*o + 4*p = 46, -36 = -o - 3*o - 3*p. Suppose -4*f = 2 + o. Let q = -21/26 + 1/130. Is f equal to q?
False
Let b(k) = 6*k - 43. Let c be b(7). Let l = -207/4 - -3107/60. Is l at most as big as c?
False
Let m = -26.9 - -23. Let l = m - -3.9. Which is smaller: -6 or l?
-6
Suppose -24 - 2 = -2*d. Let p = -8 + d. Let s = -838 - -844. Which is bigger: p or s?
s
Suppose 0 = 5*j + 2*j + 42. Suppose -6*p + 12 = -0. Is p greater than j?
True
Let d(k) = k**3 - 7*k**2 - 4*k + 13. Let i be (-11)/(-2) - 3/(-6). Let f be d(i). Let b be 2 - ((-190)/f + -2). Is b at least as big as 0?
False
Let c = -0.01 + 0.02. Let g = 0.03 - c. Let j = g - -0.18. Is 0 < j?
True
Let f be (-1856)/(-48)*(-4 + 1). Is -114 at least as big as f?
True
Let g(n) = -n + 0 - 6 - 3 + 6*n. Let c be 1*(-4)/(-10)*10. Let f be g(c). Is 1 bigger than f?
False
Let q = 62 - 62.01. Which is smaller: -0.08 or q?
-0.08
Let x = 24 + -26. Let v be x*(81/6 - 0). Which is bigger: v or -28?
v
Let g be (-39)/21 - (-1 - 1). Let c be (-1)/(-4) - (-162)/(-8). Let p be (-3)/(-8)*c/(-30). Is g greater than p?
False
Let s be (-160)/(-48)*(-144)/(-5). Is 97 at least s?
True
Let c be (-277)/3 + 7/21. Let v be (5 - (-48)/(-9)) + c/3. Is -32 smaller than v?
True
Let v(c) = c**2 - c. Let n = -62 - -62. Let u be v(n). Let h = 199/2 + -2981/30. Which is bigger: h or u?
h
Let i be (-4 - -12)/(-3*3). Let v be 1/(-2) - (-6)/(-4). Which is greater: v or i?
i
Let b(z) = -z**2 - 4*z. Let g be b(-2). Suppose 0 = -x + 1 + g. Let j be (-26)/(-10) + 2/x. Is j equal to 4?
False
Let r = -0.07 + 25.07. Let k = r - 26.1. Let u = k + 1.2. Do u and -2/11 have different values?
True
Let q be 14/1176*12 + (-22)/56. Which is smaller: 357 or q?
q
Let j = 967 - 1903/2. Which is greater: j or 16?
16
Let f = -97 - -97. Which is smaller: -19.9 or f?
-19.9
Let a = -2309 - -2313. Suppose 5*c = -4*m + 22, 4*m = 2*c + 16 + 20. Suppose m = 5*k - 12. Are k and a nonequal?
False
Let l = -12.93 + 2.93. Is l less than or equal to 7.6?
True
Let v = 215 + -1013/5. Which is bigger: v or 13?
13
Let z be (-1)/((-16)/6 + -1). Let g = -15 - -15. Suppose -3*t - 7 + 4 = g. Is t less than z?
True
Let y(r) = -r**2 - 3*r - 3. Let c be y(-2). Let v be (-1410)/(-714) - (4 + -2). Let l = -5/357 + v. Which is greater: l or c?
l
Let z = 6 + -6.5. Let o = z + 0.3. Let d = -923/3 + 305. Which is smaller: d or o?
d
Let g = 40 - 53. Let a = 12 + g. Let r be (-2)/(-9) + 175/(-504). Which is smaller: a or r?
a
Let q = 3.22 - -0.38. Let b = q + -2.6. Is 26 smaller than b?
False
Suppose 1146 = -53*b + 59*b. Which is smaller: 7 or b?
7
Suppose 0 = 4*t - 22 + 6. Let o be 5*(5 - t)*(-6)/(-4305). Which is greater: 0 or o?
o
Let d = -10.41 + 0.41. Let y = -11 - -11. Which is bigger: d or y?
y
Let c = -1897 - -1866.065. Let u = c - 0.065. Which is greater: 0 or u?
0
Let f be (5/(15/42))/(-1). Let b = -40 - f. Is b less than -25?
True
Let j = 449 + -441.03. Let o = j - -0.03. Let h = o + -11. Are 4 and h unequal?
True
Let p be 105*(-1)/((-4)/4). Let f be p/33 + 2/(-11). Let h be (f/2)/((-12)/32). Is h <= -3?
True
Let p = 38 + -34. Let g = 20 + -15. Suppose -g*q = -6*q + 5. Which is greater: q or p?
q
Suppose -9*x + 470 = -34. Let k be (20 - x/7)/(6/8). Which is smaller: 13 or k?
13
Let n be (-4 - 27/(-6))/(-8). Suppose 8 = 3*s + s. Suppose 0*h - 20 = 4*h, -h - 3 = s*x. Which is smaller: n or x?
n
Let x = 136 - 137. Which is smaller: x or 3/31?
x
Let r be ((-263)/(-18))/1 + (-3)/27. Is r smaller than 16?
True
Suppose 9*u