2. Is t less than -5/2112?
False
Suppose -g - 1432 - 1553 = 0. Let c = 80609/27 + g. Are c and 0 equal?
False
Let y = -10694 + 10721. Is -181 less than or equal to y?
True
Let p be (-4)/(-10) - (-668)/5. Suppose -3*m - 1426 - p = 0. Let k be 170/m - (-1)/4. Which is greater: 0 or k?
0
Let s = -61 + 280. Let n = -198 + s. Is n at least as big as 2?
True
Let r be (-600)/48*(-1 + 57/(-15)). Let c be (-2)/60*2*r/(-10). Which is smaller: -1 or c?
-1
Let x be (-4)/(-8) - (-4 + (-76)/(-8)). Let l = 29 - 16. Let i = 9 - l. Which is bigger: i or x?
i
Suppose 0 = -16*n + 18*n + 4*b + 22, -81 = 5*n - 3*b. Suppose k + 2*z = 2*k - 40, 3*z + 43 = k. Let l = -50 + k. Which is smaller: l or n?
l
Suppose 80*b = 84*b - 8. Suppose 4*o - 1279 = -4*h + 5*o, -2*h + 642 = b*o. Is h > 319?
True
Let t = 902 + -1016. Let d = 120.34 + 1.66. Let s = t + d. Which is smaller: s or -0.1?
-0.1
Let c(h) = 3*h**2 - 20*h + 32. Let z = 507 - 503. Let y be c(z). Is -1/173 > y?
False
Let z be (-21261)/(-513) + (-4)/9. Let s = -224 - -126. Let q = 140 + s. Which is bigger: q or z?
q
Let i be ((-2541)/70)/(-33)*2. Which is greater: 1 or i?
i
Let g be 1/(-3) + (-10)/6. Let a(r) = r**2 + 5*r + 11. Let t be a(17). Suppose -t = -2*w - 385. Which is greater: g or w?
w
Let l = 3744.985 - 3745. Does -36 = l?
False
Suppose -c = -5*w - 32, 27 = -5*w - 5*c - 23. Is w less than 358?
True
Let t be 5916/1968 - 3*1. Let q = -1960 + 1961. Is t <= q?
True
Let z = -15639 + 15763. Is -2/31 not equal to z?
True
Suppose 0 = 111*v - 126*v - 422*v + 2674003. Which is bigger: v or 6120?
6120
Suppose 0 = 5*y - 0*y - 10. Suppose 4*c + 0*n - 154 = y*n, -4*c - 3*n + 139 = 0. Let u = c + -36. Which is smaller: u or 25?
u
Let d = 2.796 + -3.39. Let r = d + 8.594. Is r < 2/5?
False
Suppose 0 = 5*t - s + 6, -3*s - 8 = 2*t - 2*s. Let u be 33174/(-26) + 2 + -4. Let w = -1279 - u. Do t and w have different values?
True
Let s be (-22)/33 + 5/3. Let q be (1*s/15)/((-391)/138). Suppose -3*x = 5*b - 15, -2*b + 0*b + 4*x = 20. Which is smaller: b or q?
q
Suppose z + 4 = -0*z + 4*y, -4*z = -4*y - 8. Suppose 17 + 39 = z*l. Which is smaller: 15 or l?
l
Let v be 4/(8/(-963))*60/(-45). Suppose -2*d + 267 = 5*u, -5*d + 0*d + v = 4*u. Is 126 equal to d?
True
Let p = 79849891/4597 + -17370. Is p <= -1?
False
Let r = 146 - 30. Suppose 0 = 2*o + 2*o + r. Suppose -b + 5*n - n - 32 = 0, 4*b = 5*n - 117. Is o greater than b?
False
Suppose 0 = -103*c + 4*c. Let z = -1936881714/77 + 25153914. Let y = z - -394. Is y at least as big as c?
True
Let m = -0.064 + -0.166. Let r = -9.4 - -9.77. Let k = m - r. Do -1/4 and k have different values?
True
Let v = 351.6 - 316. Let r = -6.6 + v. Let k = r - 28.6. Is k at most 5?
True
Let w = 40 - 39. Let p be (-2 - w)/(-1) + 74. Let m = 1156/15 - p. Which is bigger: m or 0?
m
Let k = 13508/5322973 + -2/5843. Let z(f) = 5*f**2 + 65*f - 989. Let m be z(9). Is m greater than or equal to k?
True
Let z(h) be the second derivative of -3*h**4/4 + 16*h**3/3 - h**2 + 4*h - 2. Let f be z(3). Let d = 5.2 - 4.7. Which is smaller: d or f?
d
Let o be 21/((-252)/696) + 7. Suppose 4*g + 129 = -63. Let w = g - o. Is w less than or equal to 14/5?
False
Suppose -o - 35 = 3*b, -3*b = -4*b - 2. Suppose -32 + 14 = -3*z. Suppose 311 = -z*t + 143. Are t and o unequal?
True
Suppose 0 = -3*f + 812 - 668. Let w be f/(-9) - 56/(-14). Let x = 1 - 1. Is x >= w?
True
Suppose -5*g + 375 = -1455. Suppose h - 388 = -3*c, -374 = 104*h - 105*h - c. Which is greater: g or h?
h
Let t be -22*8/16*-3. Suppose 0 = t*r - 29*r - 1060. Is 265 at most r?
True
Let i = -1568 - -804. Let w = i - -1385. Do 620 and w have the same value?
False
Let a = -1150149.046 + 1151530. Let c = a - 1383. Let k = c + 0.046. Is k less than or equal to -2/15?
True
Let c = 29 - 12. Let i be ((-9)/(-2))/(c + -5). Let z = 128 + -129. Which is smaller: z or i?
z
Let s be ((-244 - -1) + 2)/(18/216*124). Do s and -24 have the same value?
False
Let i = -2315 - -2319. Which is bigger: 273 or i?
273
Let c be (-2)/206*(2 - 0)*(-7)/2. Let h(o) = -o**3 - 4*o**2. Let g be h(-4). Is g at least as big as c?
False
Let u be (-229251)/1309 - 9/(-21). Let o = -524/3 - u. Is o greater than 0?
True
Let y be (-1)/(-3)*(0 + 3)*-1. Let x be (2/3)/((5 - -8)/(-1599)). Is x greater than y?
False
Let z = -2/20469 + -16886911/143283. Does -119 = z?
False
Let a = -7064594/31 + 227909. Which is smaller: a or 20?
a
Let r = -2601 - -2601.1. Which is smaller: -13/7 or r?
-13/7
Let q = -78.6 + 78.993. Let l = -0.493 + q. Let s be 4/6 - 0/2. Is s != l?
True
Let w(i) = 6*i - 15. Let a be w(7). Let d = -978 - -1002. Which is bigger: a or d?
a
Let z(v) = -3*v**3 - 292*v**2 - 93*v + 387. Let p be z(-97). Is p at least as big as -2/50385?
False
Let w(z) = 3*z**2 - 3*z + 6. Let b be w(-10). Let t be 1/((-7)/(b/(-18))). Let k = -10 - -12. Is k less than or equal to t?
True
Let h = -0.232 + -90.768. Let g = h + 90. Are g and -0.13 unequal?
True
Let b = -542 - -548. Let y = 23 + b. Which is greater: 1 or y?
y
Let g(s) = -3 + 23*s**2 + 7*s + s**2 - 1 - 4. Let b be g(-3). Is b smaller than 186?
False
Suppose -4*s = 4*j - 32, 0*j = 4*s + j - 20. Suppose -3*f + 3*z - s*z + 10 = 0, 4 = z. Let q = 9/32 - -197/96. Is f greater than q?
False
Let n(i) = -34*i - 3086. Let h be n(-73). Which is greater: h or -606?
h
Let a be (0 - (-66)/1705)*1320/126. Is 0 != a?
True
Let x = 218917/1722 - 4610/41. Which is bigger: 15 or x?
15
Let f be 14/30 + 96/720. Which is smaller: f or 283?
f
Suppose -15*y - 535 - 13415 = 0. Which is bigger: -931 or y?
y
Let r = 140.487 - 143.7. Let t = r + 3.32. Is t at least 2/9?
False
Let f = 1172.201 - 1172.8. Which is bigger: f or -1?
f
Let r = 6.54 - 7.9. Let l = -1.7 - r. Let h = -2.66 + l. Are h and -2/5 nonequal?
True
Suppose 2*l - 2*g + 3930 = 0, -6*l + 5900 = -9*l - 2*g. Which is bigger: l or -1967?
l
Suppose 5*a + 23 = -o, -13*o - 13 = -10*o + a. Which is smaller: -115 or o?
-115
Suppose 42 = 5*k + 4*t, 6*t - t = -2*k + 27. Let j be (-17)/(-6) - 1/k*-4. Which is bigger: 5 or j?
5
Let v be (-613)/2452 + (-274)/32. Is -9 greater than or equal to v?
False
Suppose 0 = -65*z + 60*z + 935. Suppose 11*n + z = 506. Is n less than 6?
False
Let i be 4082/(-15) + 8/60. Let q = 250 + i. Which is smaller: -17 or q?
q
Let u = -2358 - -308887/131. Is -1 greater than u?
False
Let x = -98 + 98.003. Let f = -13.997 - x. Is -3/10 less than f?
False
Let t be 3/12*96/(-324). Let p(u) = u + 3. Let q be p(-5). Is t < q?
False
Let c = -0.0971 - -0.0615. Let j = -0.1356 - c. Let p = -3.5 - -3. Is p < j?
True
Let p be -5 + 295/2 - 3/(-6). Let g = -119 + p. Let j be (99/(-6))/11 + g/9. Which is greater: 1 or j?
j
Let d be 10/(-4 - -3) - -4. Let i be (52/78)/((-1)/d). Let t be -1 - (i - 1) - 2. Are -6 and t equal?
True
Let l = 364 + -325. Let b be l/156*8/18. Is b <= 7?
True
Let t be (-15)/(-10)*(8/20)/(165/(-950)). Is -4 at least as big as t?
False
Let o = 3302 - 3316. Which is bigger: o or 383?
383
Let g be 374/5049 + 52/27. Which is smaller: g or 188/109?
188/109
Let k(a) = -247*a - 1. Let c be k(3). Suppose 190907 + 38877 + 467893 = -939*h. Is c not equal to h?
True
Let l = 47 + -43. Suppose -3*u + 2*u = -l*u. Suppose -3*t - 4*z - 17 = u, 0*t - z = -3*t + 8. Is t less than -2/161?
False
Suppose -i - 33 + 33 = 0. Suppose 2*c - 8 = -i*c. Suppose -5*q - c*a + 25 = -9*a, -4*q - 4*a = 20. Which is bigger: q or 12/17?
12/17
Let x = -881/24 + 109/3. Let z = -1461 - -1518. Let f = 57 - z. Is x bigger than f?
False
Let h = -4049 + 5982. Which is greater: h or 1931?
h
Let a = -3999 - -3998. Let s = -169 + 221. Which is smaller: a or s?
a
Let v = 2117117923/22815 - 92795. Is v > -1?
True
Let k be (-1086972)/(-386) - (-40)/20. Let f = k - 2818. Let i(l) = -l**3. Let x be i(-1). Which is smaller: x or f?
f
Suppose 2*t - 3 = -2*o + 11, o - 2*t + 8 = 0. Suppose 0 = -o*v + 2*w - 84, -5*w = -v - 10*w - 30. Which is smaller: v or -47?
-47
Let m be ((-5)/20)/(28/64). Suppose 159 = -6*u + u - 4*t, 4*u + 152 = 3*t. Let r be (-6)/15*u/7. Which is greater: m or r?
r
Let k(o) = -182*o + 3476. Let c be k(22). Which is smaller: c or -534?
-534
Suppose -12067 - 31297 = 37*c. Let w be c/(-2830) + ((-56)/(-10) - 6). Which is smaller: -1 or w?
-1
Let k = 435 - 4788/11. Let n = -237 - -5209/22. Let m = n + k. Do m and 1/9 have the sam