1 or c?
-1
Let u = -86 - -105. Suppose -u*z = 36*z - 5610. Which is smaller: z or 99?
99
Let o = -3234 - -3253. Which is smaller: o or 408/23?
408/23
Let q(x) = 2*x**2. Let o be q(1). Suppose -3 = p + a, 3*a - 9 = o*p + p. Let j be 3/(-5) - (-7812)/(-8680)*4/3. Which is bigger: p or j?
j
Let o = -180 - -183. Suppose 4 = o*m - x, -x = 4*m - 6*x - 20. Is m greater than -1/48?
True
Suppose -293 + 53 = 5*o. Let q = o - -46. Let t be (q + 0)*(-12)/(-8). Is t at most -3?
True
Let f = 0.075 - -0.895. Let c = f - 0.29. Let z = c + 0.32. Which is smaller: z or 34?
z
Let j(u) = 579*u**2 + 61*u - 124. Let m be j(2). Does m = 2313?
False
Let u(c) = c**2 + 23*c + 22. Let d be u(-7). Let j be (-12)/24 + (-265)/d. Is j bigger than 2?
True
Suppose 5*u - 875 = 975. Is 375 at least u?
True
Let m be (-1760)/112 - (-1 - 1). Suppose -2*g = -4*j + 38, -5*g + 2*j = -0*j + 79. Which is greater: m or g?
m
Let s be ((-187)/255)/((-1)/(-237)). Let a = 46 - 217. Let t = s - a. Which is greater: 0 or t?
0
Suppose 0 = -3*p - 29*v + 24*v + 23, 3*p = -3*v + 15. Which is smaller: -10/107 or p?
-10/107
Let l = 19304 - 19305. Is l smaller than -21.03?
False
Let q = 49/90 + 1/18. Are q and 4.84 equal?
False
Let o = -13 + 14. Let b be (-1)/(-4) - 1/((-15732)/(-9325)). Let m = -14/171 - b. Which is greater: o or m?
o
Suppose 425 = 3*l - 58. Let f = -161 + l. Which is greater: -2/227 or f?
f
Let i = -414 + 20. Let s = 393.9542 + i. Is s != 2?
True
Let y = 0.2165 + -0.0655. Which is greater: 4 or y?
4
Let p = 722 - 738. Let i = -3 - -3.1. Which is greater: i or p?
i
Let j = -58 + 41. Let u = -292 + 356. Let b be 3/(9/(-50)) - u/192. Is j equal to b?
True
Let u = 345.1 - 345. Are 735 and u equal?
False
Let a = 19438.1 + -19438. Which is smaller: a or -827/3?
-827/3
Let m = -0.212 - -0.139. Let s be ((-21)/28 + 1/(-4))*(16 - 17). Is m <= s?
True
Suppose 24*a + x - 4688 = 20*a, 4688 = 4*a - 2*x. Which is greater: 1173 or a?
1173
Let q = -188.39 + 31.49. Let f = q - -157. Let k = 0.107 + -20.107. Which is bigger: f or k?
f
Let y = -178 + -98. Let v = -51250 - -50973. Is v bigger than y?
False
Let a = -2.797 - -1411.797. Which is smaller: a or -1?
-1
Let l be 0/(-39) - 0/1. Suppose l = -12*o + 5*o. Suppose -k + 4*g + 22 = -3*k, 0 = 4*g + 16. Is o >= k?
True
Let j be 0 - ((-2350040)/(-1118) - 4). Let n = j - -2098. Let a = 2250/3913 + n. Which is smaller: a or 2?
a
Suppose 212*x - 17*x + 1184220 = 23*x. Which is greater: -1 or x?
-1
Let c be (81/12)/(-3)*2/(-9). Is c >= 1171/3?
False
Let a = 3933 + -133781/34. Which is smaller: -3 or a?
-3
Let h be 10*(-4)/32*-4 + -1. Suppose -h*n - 6*b + b + 12 = 0, 2*b + 3 = n. Let p = 7 - n. Which is bigger: p or 36/11?
p
Let j(y) = 2*y**2 + 53*y + 29. Let f be j(-26). Let n be (-1494)/(-21)*f/(12/14). Which is greater: 250 or n?
250
Let p(q) = -5*q + 61. Suppose 6*c + 5 = 17. Let x be p(c). Is 560/11 != x?
True
Let o = 583 + -351. Let d = o + -36889/159. Let s = -15/22 - -2/11. Which is bigger: s or d?
d
Let k = 100 + -99. Suppose 2*z = -6*b + 5*b + 3, -z = -2*b + 11. Let n be (0/5 - (z - 0))/k. Are -1/82 and n equal?
False
Suppose -10 = -a - 3*g, -9 + 18 = 3*a + 2*g. Suppose -5*x + 2 = -8. Let u be (x/6)/((-417)/18). Is a smaller than u?
False
Let m = -408.61952 + 0.01952. Let n = m + 409. Which is bigger: 7.8 or n?
7.8
Let b = 4.909 + 0.091. Let u(c) = -c**3 + 4*c**2 + 46*c + 7. Let p be u(-5). Which is greater: b or p?
b
Let a be 62/(-90) - (22 + 342/(-15)). Which is greater: a or 67?
67
Let m = -42.79 + 54.99. Let k = -99.8 - -112. Let z = m - k. Are z and -1/3 equal?
False
Let m = 13/20 - 2581/3940. Suppose 2*q + 26*v - 8 = 24*v, 5*q = 5*v - 10. Do q and m have the same value?
False
Let u be (-2)/3*3/(-2). Let m(j) = -12*j**2 - j + 1. Let w be m(u). Let v = 17 - 28. Which is smaller: v or w?
w
Let g = -3/22697 + 8965351/272364. Which is bigger: g or 33?
33
Let u be (-1 + 1)/(-2) + 64. Let s = 2778 - 2843. Let f = s + u. Is f at least 0?
False
Suppose -616*a + 615*a = -3. Suppose -31*p = -36*p - 70. Which is smaller: a or p?
p
Let w be ((-46)/4 - -2)*(2 - 4). Suppose 3*x + w*b = 18*b + 42, 0 = 2*b. Is x < 11?
False
Suppose 4*z = -13*z + 34. Let g = 9 + -5. Suppose -z*t - p = 39, 0*p + 4*p = g. Is t smaller than -19?
True
Let t = 0.438 - 58.438. Let u = t - -79. Is u less than or equal to 0?
False
Let c(v) = 2*v - 16 - 11 + 47. Let b be c(-10). Suppose -p + 2*p - 5*k - 14 = 0, b = -p + 2*k + 8. Is 10/3 > p?
False
Let d be ((-70)/8)/((-1)/(-4)). Suppose -11*g - 54 = -10*g + 2*n, -4*g - 128 = -3*n. Is d less than g?
False
Suppose 14*b - 1671 - 2837 = 0. Suppose 0 = -r - b + 385. Is 63 not equal to r?
False
Let r be (8010/1275)/((-30)/(-4)) - (-4)/(-34). Is 5 less than r?
False
Let n = -0.474 - 0.526. Which is smaller: n or 0.039?
n
Let u = -7952/9 - -1057724/1197. Which is greater: -2 or u?
u
Let x = -8 + 16. Let c be (-100)/x*1*12/(-15). Suppose -39 = -0*l - 3*l - 5*y, 2*l = 2*y + c. Which is greater: 5 or l?
l
Let a be (132/30)/(3/135). Let x = 206 - a. Which is smaller: x or 29/4?
29/4
Suppose -2*r - 2*o - 508 = 3*r, -4*o = -r - 84. Let d be 240/r - 4/10. Which is smaller: d or -4?
-4
Let n = 11.7348 - -0.0052. Let g = 11.8 - n. Which is smaller: 0.9 or g?
g
Suppose -3*l - 1 = 2*h + 4, 5*h + 3*l = -8. Let m be 170/68*2/(-44). Is h not equal to m?
True
Suppose -5*r + 25 = -d, 10 = -0*d - d + 2*r. Suppose d*l - 2*l = 24. Let x be -3 + 18/(-8)*(7 + -3). Do x and l have the same value?
True
Let f(l) = -l**2 + 6*l - 8. Let d be f(5). Let u be (2 + (-3)/6)/((-57)/(-12806)). Let c = u - 1357/4. Which is smaller: c or d?
d
Let o be (4/10)/((-2)/(-20)). Let z be (27/7 + -5)/(33/(-77)). Is o at least z?
True
Let c = -4688 + 4688.1. Are c and -8816 equal?
False
Let o be 36/27 + (-12904)/(-24). Suppose 0 = -537*u + o*u - 332. Does u = 165?
False
Suppose 0 = 13*b - 18*b + l - 31, -15*b + 2*l - 92 = 0. Which is smaller: b or 69?
b
Let w = 23 - 23.9. Let o = 0.9 + w. Let u = 10.85 - 3.85. Which is bigger: o or u?
u
Let p = 224053/76 - 11791/4. Which is bigger: p or -96?
p
Let z(t) = 4*t**2 - 5*t - 11. Let j be z(-3). Suppose -q - 3*p = j, 12*q = 15*q - 4*p + 55. Is -25 smaller than q?
False
Let o be 4*(12*6/432)/((-2)/3). Which is greater: o or -4/973?
-4/973
Suppose 3*n - 11 = y, -5*y + 3*n - 29 = n. Let q be 134 - (-5 - y - 2*2). Suppose -7*m + q - 12 = 0. Is 128/7 not equal to m?
True
Let z = -3911 - -3924. Which is smaller: 117 or z?
z
Let b be ((-54)/(-4))/(-9 + 4338/474). Let t = -89 + b. Which is bigger: 1 or t?
1
Let z = -485266.926 + 485267. Let v(n) = n**3 - 5*n**2 + 3*n + 2. Let q be v(4). Which is smaller: z or q?
q
Let j = -431503/13 - -33175. Let a = j - -207/13. Which is greater: a or -2?
a
Let y = -57 - -69. Suppose 2*m - 6 = y. Suppose 13*x = m*x + 80. Which is smaller: 22 or x?
x
Suppose -265*q + 1877464 = 21*q - 3039448. Is q less than 17193?
True
Suppose -33*d - 116 = -149. Is -4/53 smaller than d?
True
Let g = 225 + 188. Let w be ((-3)/g)/((-38)/133). Are 0 and w nonequal?
True
Let u = 20434 + -20443. Which is bigger: -121 or u?
u
Let z = -705871798/9755 - -72360. Which is smaller: 1 or z?
z
Let d(p) be the third derivative of -13*p**4/24 + 40*p**3/3 + 38*p**2. Let c be d(6). Which is smaller: 15/8 or c?
15/8
Let j = -28 - -43. Suppose 0 = 9*s - j*s + 18. Suppose -b = -3*x - 2*x - 5, 0 = -2*b + s*x + 3. Which is greater: -1/17 or b?
b
Let k(b) = b**2 - 4. Let g(h) = h**2 - h - 4. Let y(z) = 5*g(z) - 4*k(z). Let d be y(6). Let s be d - (9/(-1))/((-3)/2). Is -7 greater than s?
False
Suppose 3*v = -2*r + 306, v + 6*r - 4*r - 106 = 0. Which is greater: 99 or v?
v
Suppose 4*m - 54836 = -5*a, 5*m = -1211*a + 1215*a + 68463. Does m = 13698?
False
Suppose 4*g - h + 4 - 22 = 0, h - 2 = 0. Suppose 2*l + 10 = 2*a, g*a - 14 + 1 = l. Let n be (1 - -2 - (-5)/(-4)) + a. Is 0 > n?
False
Let o = 11 - 14. Let i be o + ((-102)/(-9))/(-2). Suppose 12*h + 24 = -96. Is h >= i?
False
Let j(p) = 3*p**2 + 31*p - 20. Let u(a) = -a**2 + 8*a - 26. Let b be u(5). Let c be j(b). Is c greater than 0.11?
True
Let f be (124/8)/(-4 + (-69)/(-18)). Let q = 94 + f. Let z be (3 - (0 - -2)) + 1. Is z at least as big as q?
True
Let s be 296/36 - 2/9. Let v = s - 9. Suppose 2*n + 8 = 0, -3*i + 63*n = 64*n + 7. Is i greater than v?
False
Let b = -67 + 74. Suppose -4*p - x = -1