- 33 = 2*y. Is y bigger than i?
False
Let n = -4125 + 4039. Is -171/2 > n?
True
Let t = -2896 + 2868. Which is smaller: t or 2?
t
Let p = -3.015 + 0.03. Let h = p + -0.015. Which is smaller: h or -0.27?
h
Let h = -362.8 + 362.657. Which is smaller: h or -1.3?
-1.3
Let g = -239 + 780. Let l = g - 243. Which is smaller: l or 297?
297
Suppose -p - 3*p - 4 = 0. Let x = -18/9203 + -19813951/55218. Let k = -361 - x. Are p and k non-equal?
True
Suppose -2*i - 80*q + 85*q = 748, 5*i = -4*q - 1771. Is 4 >= i?
True
Suppose 2*s - 3*s + c + 6 = 0, -2*s + 4 = 2*c. Let f = 0 - 4. Let x be (-74)/(-10) - (-2 - 24/f). Is x bigger than s?
False
Let n be 2/(-2) + 2 - 25. Let t = 2286 + -2285.7. Is t bigger than n?
True
Let q = 453 - 322. Let u = q + -2603/20. Is u greater than or equal to 1?
False
Let o = -16985 - -9991. Are -6995 and o equal?
False
Let s be (-1)/3*-3 - 1*4. Let h(w) = 6*w + 19. Let o be h(s). Which is smaller: o or -1/199?
-1/199
Let s = 24593/12915 - -1/1845. Let w be (-18)/(-15) + 1/(-10)*2. Which is smaller: s or w?
w
Let c be ((-3 + 2)*2)/(-1). Suppose -3*j + 4 + c = 0. Let d be -186*(-28)/1743 - (j - -1). Is 0 less than d?
False
Suppose 51*v - 50*v = 3*g + 1635, 3*g + 1611 = -v. Suppose -p = -5*p - 2168. Which is greater: g or p?
g
Let i = 4023.0364 - 4023. Which is greater: 5 or i?
5
Let w = 0.4171 + -0.6171. Suppose 0 = -3*j - 2*j - 245. Is j >= w?
False
Let r = 285 - 200. Suppose -81*v + r*v - 4 = 0. Which is smaller: 30/59 or v?
30/59
Let c = -19.873 - -20. Let y = -0.073 - c. Which is greater: 0.1 or y?
0.1
Let n be (-130)/11 - 6/33. Let z be 2/2 + (-2)/n. Suppose 0 = 64*u + 24*u - 176. Which is smaller: u or z?
z
Suppose 0 = -32*j - 100 + 11396. Suppose j*m + 513 = 362*m. Which is greater: m or 61?
61
Let m = 18548 + -18561. Are m and 1.95 nonequal?
True
Let j be (-52)/65*5*-1*1. Suppose 5*i = j*p - p + 31, -i - 3*p = 1. Let q be i*(621/180 + 1/(-4)). Do q and 16 have different values?
False
Let u = -487 - -487. Suppose 79 = -5*p - 61. Let m = p + u. Do m and -26 have the same value?
False
Let o be (4/(-24)*3)/((-1)/(-829 + -3)). Does o = -417?
False
Let k = 5150 + -4895. Is k equal to 260?
False
Let p = -2818 - -2933. Which is smaller: p or -0.7?
-0.7
Let a = 72 - 72. Suppose -3*k + 17 = k - 3*j, a = 2*k - j - 9. Let i(y) = y**2 - 3. Let w be i(-3). Which is bigger: w or k?
w
Let z = 5513 + -5712. Which is bigger: -198 or z?
-198
Let u be 87/17 + ((-480)/272)/15. Let m be (123/410)/(18/(-8)). Which is smaller: m or u?
m
Let x be (-8 - (-2 - (-97266)/(-16212)))*-44. Are x and 1 non-equal?
True
Let u = 24 - 42. Let j(g) = -27*g - 36. Let b(z) = -2*z. Let p(x) = -12*b(x) + j(x). Let s be p(u). Is 2/5 less than or equal to s?
True
Let w(n) = n + 29. Let u be w(-26). Let t be 562/(-120) + 2/(-3)*u. Let s = 16/15 - t. Is s > 9?
False
Let h be 1 - ((-610)/(-155) + -3). Suppose -5*j + 25 = 5*i, 9*i + 2*j - 22 = 4*i. Let v be i + (2 + -14)/4. Which is greater: v or h?
v
Suppose 430*i = 225*i + 220*i + 3600. Is -239 less than i?
False
Suppose 5*g = -5, -14*t - 3 = -12*t + 3*g. Are -35/131 and t equal?
False
Let v be 825/21175*(-2)/660. Is v at least 0?
False
Suppose 8*d + 733 - 101 = 0. Let z be ((-468)/8)/((-3)/(-4)). Which is greater: z or d?
z
Let q = 2/245 - -17/3920. Let u = -1 - -2. Is q less than u?
True
Let f be (20159/12)/((-1)/(-3)*139). Let i = f - 145/4. Let p = i + 1522/973. Which is greater: p or 3?
3
Suppose 22 - 61 = 3*i + 4*n, -n = -i - 6. Let j be i/(-1)*364/21. Do 156 and j have different values?
False
Let y = -165/4 + 43. Do y and 2/71 have different values?
True
Let c = -1.5 + 2. Let q = -10.5 - c. Let w = -226/369 + 16/41. Are q and w unequal?
True
Let s = -21582 + 19038. Does s = -2542?
False
Suppose -1650 + 9072 + 13898 = 82*c. Let d be -2 + 1/1 + 260. Is d at least as big as c?
False
Let m(h) = -h**3 + 14*h**2 + 14*h + 20. Let a be m(15). Suppose a*k - 7 = -122. Let q = k + 28. Which is bigger: q or 7?
7
Suppose 4*o - 3558 = -614. Suppose -29*x = -13*x + o. Are -231/5 and x non-equal?
True
Let g(j) = -j**3 + 15*j**2 + 33*j + 17. Let n be g(17). Suppose 14*k + 8*k + 1078 = n. Is k at least -49?
True
Suppose -17*t = -8*t - 864. Let z = t + -97. Is z > -1/39?
False
Suppose y = -y - 186. Let a = -559/6 - y. Let w = -4/3 + a. Which is smaller: w or -1?
w
Let l(m) = 117*m**2 + m. Let b be l(1). Let x be 16/(-120)*5247/(-6) - 33/55. Which is greater: b or x?
b
Suppose 22*q - 2215 = -1313. Which is smaller: 596/15 or q?
596/15
Let d = -48 - -54. Suppose 0 = -3*v, o - v = -d*v. Suppose o = 6*g - 7 + 31. Which is smaller: -1 or g?
g
Let q be ((-48)/15)/4*-50. Suppose 82 = 4*m + f, -3*m + f = -18 - q. Let r be (-63)/(-3) + 0 + -1. Is m greater than or equal to r?
True
Suppose -2*z + 1 + 1 = 0, -2*l - 5*z = -11. Suppose -u = l*r - 49, 10*r = 5*r - 4*u + 70. Let w = r + -60. Is -42 smaller than w?
False
Let h(i) = 736*i - 3678. Let v be h(5). Are 412/125 and v non-equal?
True
Let f = 92309/15 - 6154. Does f = -2/315?
False
Let i(b) = -b**2 + 17*b + 39. Let z be i(19). Let o = 1/38 - 163/418. Which is bigger: z or o?
z
Let l be -1 - (10 - (-8 + -62)). Let d = -12745/28 + 3748/7. Let j = d + l. Is -2 < j?
True
Suppose 338847 = 1977*g - 2156*g. Which is smaller: -1891 or g?
g
Let q be 48834/(-617265) + (-24)/(-348). Do 1 and q have the same value?
False
Let m be (-384791)/825 + 4/50. Are m and -466 equal?
False
Suppose -2*s + 0 = -6. Suppose j = -j + 5*r + 12, 4*j - 8 = 2*r. Suppose -4*c = s + j, 0 = 5*w + 4*c - 51. Is w less than or equal to 14?
True
Let w be 7 - ((-1008081)/(-147528) + (-2)/(-12)). Which is bigger: w or 0?
w
Let y = 1465.2 + -1465.08471. Which is smaller: 0 or y?
0
Let v = 4160 - 20802/5. Which is greater: v or -2/459?
-2/459
Let f be (-47 - -101)*(22/6 - 1). Let y = 144 - f. Is -0.67 >= y?
False
Let q = -504125 + 504127. Suppose -3*f = -164 + 50. Which is bigger: q or f?
f
Let q = 2365/3 + -788. Let c = 0.77 - -7.93. Is c at most as big as q?
False
Let v = -936 + 981. Let n be (-14)/30 + (-6)/v. Is 45 >= n?
True
Let j = 182.7 + -183.19. Which is greater: 1.8 or j?
1.8
Suppose -2*y + 902 = -24*y. Suppose -2*r - 13 = -31. Let o be (-20)/(-4 - r/(-2)). Is o smaller than y?
False
Let t = 30 - 28. Suppose -l + 98 = -t*q, 3*l = -q + l - 59. Is q at least as big as 0.1?
False
Let h = -74.24 - 1.76. Let k = 8 - -68. Let o = h + k. Which is bigger: 9 or o?
9
Let u = 11 + 9. Let i = 94.6 + -114.6. Let m = u + i. Is m greater than 46?
False
Let w = -827865/37 + 22375. Suppose -1 = 5*x - 6. Which is greater: x or w?
x
Let y be -1 - 140/(3 + -10). Let l be (5 - (-30)/(-2))/((-2)/y). Is 95 less than l?
False
Let y = 747 - -1350. Is y less than or equal to 2097?
True
Let v = 7 + -85/12. Let f = 113/108 + v. Let i = -500/351 + f. Which is smaller: -1 or i?
-1
Suppose 3*f + 3*m - 687 = 0, m = -5*f + 399 + 726. Which is greater: f or 227?
227
Let n = -213 + 375. Suppose 2*w + 0*w - s - n = 0, -w = -s - 81. Suppose 4*c + 4*l + 304 = 8*c, 0 = -2*l + 10. Are w and c unequal?
False
Let a be ((-420)/(-16))/(-5)*(-488)/427. Is 166 less than or equal to a?
False
Let j = 41.01 + -41.1. Suppose -o + 6*o - l + 20 = 0, -3*o - 5*l = -16. Which is smaller: j or o?
o
Let h = 2870/419 - 92123292/13449481. Do 1 and h have the same value?
False
Suppose 9385 = -3*j + 9295. Which is greater: -346/11 or j?
j
Suppose 3*c - 2*c = 444. Let g be (-321)/c - (5 - 23/4). Which is bigger: g or 1?
1
Suppose 0*x + 3*x + 2*w = -116, -5*w = 5*x + 200. Let v be (x/6)/(-2) + 0/(-1). Is -9 at least v?
False
Suppose -k - 5*m + 140 = 0, k - 3*m - 812 = -4*k. Suppose -k = 5*a - 5*q, -5*a - 2*q = -0*a + 153. Let d = 27 + -57. Which is smaller: a or d?
a
Let t = 15604 - 15375. Which is bigger: -3 or t?
t
Let y = -6 + 9. Suppose y*t - 21 = 6*t. Let l = -2977 + 2972. Is t bigger than l?
False
Let l = 5 - 17. Suppose -5*i + 20 = 0, 3*i - 712 = d + 3*d. Let s = d - -173. Which is smaller: s or l?
l
Let h(w) = -16*w - 553. Let t be h(170). Which is smaller: -3267 or t?
t
Suppose -8794 = -123*a - 25768. Which is smaller: -547/4 or a?
a
Let h = -842 - -21053/25. Suppose -4*c + 5 + 3 = 0, -3*o - 4*c = -5. Let z be (o/(-4))/(-1 + 2 + 0). Is z < h?
False
Let j = -3827 - -3817. Which is smaller: j or -14?
-14
Suppose 179*c - 98 = 20*c - 257. Let j be 11/(16005/(-18))*5. Is c a