
d
Suppose a + 3*a - 12 = 0, -2*t + 4*a - 56 = 0. Let z = 18 + t. Which is greater: z or -3?
-3
Let k = 31.3 + -3.3. Let n = -27 + k. Is n greater than 14?
False
Let f = 1/915 + 2707/34770. Which is smaller: 0 or f?
0
Let w = 13 + -15. Let r = w + 2. Is 0.1 greater than r?
True
Let b = 189 - 236. Are b and -48 equal?
False
Let o = -1758 - -1760. Let b = 0.3 - -0.7. Is o not equal to b?
True
Suppose v + 24 = -2*t - 43, -3*v = t + 196. Is -71 < v?
True
Let w = 14 + -31. Let g = -17.1 - w. Which is smaller: g or 2/27?
g
Let j = 259/5 - 52. Let r = -3/25 - j. Is r >= 0.1?
False
Let c be 4/(-35) + 4/(-14). Let d = 37 - 31. Let i be 70/(-30) - d/(-2). Is i at least as big as c?
True
Suppose 2*s + 1 = w, w + 0 - 5 = 4*s. Let m be (-4)/6*w*1. Let u be m/6 + (-160)/(-60). Which is greater: u or 21/5?
21/5
Let f be (-194)/(-38) + (-14)/133 - 76. Which is smaller: 1 or f?
f
Let g = 28 + 15. Let n = g - 41.84. Let d = 0.16 - n. Do 16 and d have the same value?
False
Suppose 0 = 4*u - 2*u - 8. Suppose -5*t = 4*v + 60 - 5, -u*t - 52 = 4*v. Which is greater: -11 or v?
v
Let d = 0 + 0. Let x = 348 - 344.934. Let o = -0.066 + x. Is d greater than o?
False
Suppose 0 = 14*a - 29*a + 435. Which is smaller: 44 or a?
a
Let t(a) = -a**2 + 6*a - 4. Suppose 5*m = -10 + 30. Let q be t(m). Suppose -8 = 4*x, -q*c + 47 = c + 4*x. Are 0 and c nonequal?
True
Let h be -1 + 3/3 + 1. Let t be ((-15)/325)/(741/(-190)). Which is smaller: h or t?
t
Let o be (0 - -33) + 100/(-10). Which is greater: o or -11?
o
Let a = -151 - -269. Let r = a + -824/7. Which is greater: r or -0.04?
r
Let s = -200 + 200. Let a = 9 - -2. Is s bigger than a?
False
Suppose -12 = -7*s + 4*s. Suppose -t - 2*m - 24 = 3*m, 38 = -3*t + 2*m. Let g be (-13 + 15)*s/t. Which is smaller: g or 0?
g
Let w be 2/2*(3 - 2). Let k = w - -6. Suppose 2*v - k = -2*u - u, -v + 21 = 5*u. Is u at least as big as 2/9?
True
Let z = 549897/164 + -3353. Are z and 1 equal?
False
Suppose 69*i + 7714 = 1090. Is i less than or equal to -484/5?
False
Let v = 106 + -106. Suppose v = -8*x - 38 - 58. Suppose -d + 4*d = -3. Is d <= x?
False
Let k(o) = 4*o - 35. Let c be k(17). Let d = 35 - c. Are 1 and d nonequal?
True
Let q = 835 - 818. Which is smaller: 14 or q?
14
Let r be 3/((-18)/(-16))*(-27)/(-39). Let x = 42/65 - r. Which is smaller: x or 2?
x
Let k be 2/(-55)*35/7. Suppose -4*n = 3*i + 4, n + 4*n = -5*i - 5. Which is greater: i or k?
i
Let j = -16 + 19. Suppose g = j*g. Does g = 0?
True
Let p = 10.5 - 10.3. Let n = 17.37 + -0.37. Which is smaller: n or p?
p
Let s = -21 - 9. Let z be (-2)/6 - (-872)/s. Let k = z - -30. Is 0.2 at most k?
True
Suppose -3*f + 3*m = -3, 0 = -0*m - 3*m - 6. Let a = 0.07 + -6.07. Let g = 5.9 + a. Is g equal to f?
False
Let g(t) = -34*t**3 + 4 + 2*t**2 - 15*t + 35*t**3 - 7*t. Let y be g(-6). Which is bigger: -7 or y?
-7
Let f(x) = -x + 2. Let r be f(0). Let k = 0.461 - 0.41. Let c = 0.251 - k. Is r at most c?
False
Suppose 2*r = r + 4. Let s be ((-6)/(-14))/((-6)/r). Suppose 0 = p + p - 5*b - 17, 10 = -2*p - 4*b. Which is greater: s or p?
p
Let k = -11 + 20. Suppose -3*d + 0*m = -2*m - 3, 2*d = 5*m - k. Are -2 and d nonequal?
True
Let a = -748/455 - -4/91. Suppose -4*s = 5*j - 3, 8*j = -3*s + 9*j - 12. Is a at least as big as s?
True
Let q = -99 + 196. Let v = 93 - q. Which is smaller: v or -0.5?
v
Suppose 0*i = -2*i. Let o(n) = -2*n**2 + 16*n + 12. Let b be o(10). Let j = 199/7 + b. Which is greater: i or j?
j
Let w = -1266 + 5063/4. Which is bigger: w or 3/25?
3/25
Let r be (-112849)/(-66)*(-4)/(-38). Let v = r - 180. Which is smaller: v or 1?
v
Let b = 0.8 - -33.2. Let z = 31 - b. Is 7 bigger than z?
True
Let w = 2329/3 - 776. Is 2/25 at most w?
True
Suppose -2*c + c - 4*v = -11, 0 = -3*c + 4*v + 97. Which is bigger: 22 or c?
c
Let x = -3/10 + -1/10. Suppose -9*t - 14 = -2*t. Let g be (-4)/(-40)*(0 + t). Is x <= g?
True
Let d = -10.82 - -10.82. Which is smaller: -791 or d?
-791
Suppose -3*l - 5*i = -25 - 11, l + 3*i - 12 = 0. Let k be ((-46)/6)/(l/(-36)). Is k less than 23?
False
Suppose -5*q + d + 278 = 0, 2*q - 5*d = -2*q + 235. Let c = 88 - q. Let w be 2/(-2) - (-176)/c. Which is bigger: 5 or w?
5
Let j = 44.1 + -4.1. Let w = j + -46.9. Let f = w - -7. Which is greater: 0.08 or f?
f
Let u be 17/272 - 131187/560. Which is smaller: u or -235?
-235
Let g = -843 + 843. Which is smaller: -8/9 or g?
-8/9
Suppose -253*f - 10 = -248*f. Which is bigger: f or 22?
22
Let w = 8 + -10. Let z be 1*(-19)/(-6) - (w - -4). Do z and 0 have the same value?
False
Let q = 19/124 + 3/31. Let i be (-1)/(-4 + 54/14). Is q smaller than i?
True
Let l be (-16)/14 + (-4)/(-14). Suppose -5*g + 5*m = -120, g - 106 = -3*g - m. Let q = g - 26. Which is smaller: q or l?
l
Let p = -515 - -560. Which is smaller: p or 46?
p
Suppose -g + 5*x - 18 = 7, -3*g - 7 = 2*x. Let d be (-6)/(-9) - g/((-870)/86). Is 0 <= d?
True
Let g be -1*772/8*2. Which is smaller: -197 or g?
-197
Let t be 9/(-12) - -14*1/8. Suppose t = 2*m + 7. Is m at least -7/2?
True
Let g be -362*-11*9/(-396). Is -90 < g?
False
Let d = 544.51 - 625.9. Let q = d + 81. Let z = q + 0.29. Is z > 0.2?
False
Let m(g) = -2*g + 9. Let q be m(0). Let o(j) = j - 29. Let i be o(q). Is -19 greater than or equal to i?
True
Let n(x) = -3*x + 1. Let t be n(1). Let u = 1 + t. Let h = -4959/11 - -451. Which is smaller: h or u?
u
Suppose 2*h + 18 = 4*n, 4*n - 2*h + h - 17 = 0. Let g be (-58)/n - (4 + (-22)/4). Is -11 >= g?
True
Let h(y) = y**3 - 6*y**2 + y - 3. Let z be h(6). Let w(b) be the first derivative of b**3/3 + b**2/2 - 8*b + 11. Let q be w(-4). Is q >= z?
True
Let b(i) = 2*i - 22. Let c be b(13). Let m be c - (1 - 3 - -6). Which is smaller: 2/41 or m?
m
Let z be (-1)/((216/260)/(-3)) + -4. Which is greater: -1 or z?
z
Let p be -3 + (-1 - 1)/((-26)/(-65)). Let l be 3 + 87/(-27) + p/(-36). Let b = 12/23 - 82/69. Which is smaller: b or l?
b
Suppose -5*o + 39 = -11. Suppose -5*x = -0*x + o, -x = -3*k + 2. Which is bigger: k or 5/3?
5/3
Let s be (-135)/(-35)*2/(6/27). Is s less than or equal to 34?
False
Let r be (213/15)/(28/(-140)). Is r less than -70?
True
Suppose 0 = -3*h - 5*o - 14, -o - 2*o - 14 = -h. Suppose -d - 25 = v + v, 22 = -h*v + 2*d. Let j be ((-2)/v)/((-12)/(-84)). Is 1 at most j?
True
Suppose 0 = 3*x - 12*x + 27. Suppose -5*r = -x*r + 52. Is r at least as big as -26?
True
Let j be (20 + -20)*1/(-2). Is -503 less than j?
True
Let a be 4/(-136)*6/9. Which is greater: a or -1?
a
Suppose 2*v = -2*r - 2796, 158*v - 2803 = 2*r + 153*v. Is r greater than or equal to -1399?
True
Let x = 33073/105 - 315. Suppose 24 + 9 = -123*m + 90*m. Which is bigger: x or m?
x
Let a be (-30)/14*(-954)/(-15). Let l = a + 136. Are l and 1 non-equal?
True
Let h = 2/2189 + -26282/15323. Let t = 47 - 50. Does t = h?
False
Let f = -17/20 - -5/4. Let c = 8.5 - -34.5. Let j = -42.5 + c. Which is greater: j or f?
j
Let a(b) = b**3 - 6*b**2 - 4*b + 15. Let j(l) = l**2 + 5*l. Let n be j(-5). Let v(i) = -i**3 + 6. Let h be v(n). Let k be a(h). Is -11 greater than k?
False
Suppose 3*x - 2 = p + 5, -2*p = -5*x + 11. Suppose 2*i + i + 3 = 0, 28 = 4*n + 4*i. Let k = p - n. Which is smaller: k or -2?
k
Suppose 4*b - 328 = -3*y, 0 = y - 6*y + 2*b + 512. Let f = y + -124. Is -0.1 bigger than f?
True
Let q(d) = -d**2 - 8*d + 3. Let j be q(-8). Suppose -j = -5*k + 17. Is 7 at most k?
False
Let k = 53 + -266/5. Let y = -19 - -28. Let m = 9.1 - y. Which is smaller: k or m?
k
Let f be 16/(-10)*5/(-2). Let r be (-837)/f*(-4)/42. Let l = r + -41/2. Is -1 <= l?
True
Let b = 135 - 132.05. Let x = 0.05 + b. Which is smaller: -3 or x?
-3
Let x be (1 - 2) + (-56)/(-8) - -1150. Is 1157 bigger than x?
True
Suppose -2*d = -d - 4*t + 6, -3*d + 3*t = -18. Suppose -p = -k + 2, -4*k + 28 = 5*p - 7. Suppose 20 = p*s + 2*u - 9, -2*s + 21 = 3*u. Which is smaller: s or d?
s
Let c = -2069 + 31048/15. Let t = c - 2/3. Which is bigger: 1 or t?
1
Let f(c) = -66*c + 60. Let v be f(1). Are v and -72/13 non-equal?
True
Let w = -67 + 66.11. Let d = 0.89 + w. Which is smaller: d or 22/3?
d
Let r(n) = n**2 - 33*n + 131. Let h be r(29). Which is smaller: h or 14?
14
Let m = -16862/11 - -1532. Which is greater: m or 2?
2
Let k(f) = 4*f - 21. Let p be k(7). Let i(u) = u**3 - 5*u**2 - 12*u - 16. Let q be i(p). Which is greater: q or 23?
23
Le