as big as p?
False
Suppose -4*p - m - 5 = -5*p, 2*m = -8. Let a = 97096/36742051 + -2/47779. Is p greater than a?
True
Let k(l) = l**3 - 13*l**2 + l + 19. Let f be k(13). Let a be (f/14 - -2)/(8/(-56)). Do -30 and a have the same value?
True
Let l be (3 - -3)/(1/(-23)). Let x be (6/12)/(1/l). Let j = x + 67. Is j smaller than 0.16?
True
Let m = 598 - 7771/13. Is -1 > m?
False
Suppose -d + 5*s = 3*s - 12, -2*s = -10. Let l be 2/(24/21)*-4*(-44)/77. Which is smaller: d or l?
l
Let s be 284/(-6)*(-2 + 145/10). Let k = -908 + 322. Let z = s - k. Which is smaller: z or -6?
-6
Let h(q) = q**3 + 14*q**2 - 13*q + 35. Let j be h(-15). Suppose w + 78 = -2*x, 376 = -j*w + 2*x + 2*x. Which is greater: w or -77?
w
Let q be (33/(-12))/(3/(-12)). Let n = 12323 + -135441/11. Is n bigger than q?
False
Suppose 0*t + 1120 = -5*t. Let l be t/21 + 11 + (-2)/(-3). Is 1/366 > l?
False
Let m = -45 + 43. Let x be (m + 12/9)*(-585)/10. Suppose x = 5*u - 6*u. Is u less than or equal to -38?
True
Let k = -36881/4 - -9220. Are k and 20263 unequal?
True
Suppose -3*d + 2 = -g + 7, 3*g + d + 35 = 0. Let v be 44/(-88) - 38/4. Let r be g/25*v/(-12). Is 11 less than r?
False
Let f = -0.0586 + -0.2414. Is 157 at most f?
False
Let m(v) = v**2 - 2*v - 3. Let x be m(-3). Suppose -15 = r - 113*q + 117*q, -3*r + 10 = q. Is x at least r?
True
Let l = 198 + -192. Let p be l/(-647)*(2/(-3))/2. Which is smaller: p or -1?
-1
Let n(y) = -104*y - 2188. Let k be n(-25). Which is smaller: k or 411?
411
Let y be ((-160)/(-150) - (-5)/(-75)) + 1507. Which is bigger: 1510 or y?
1510
Let j be -25 + 23 + (-3)/(1473750/(-975322)). Let h = 7/393 + j. Is h bigger than 1?
False
Let g = -104522 - -104510. Let r(b) = -13*b + 1. Let y be r(1). Is y greater than g?
False
Let b = 29 + -41.2. Let z = b + 12.2. Is z equal to -17?
False
Suppose -7*m = -0*m - 21. Suppose 20 = -4*p, -645 = 5*f - 10*f - m*p. Is f != 131?
True
Suppose -k - 232 = -5*k. Suppose 5*j + 8*b - 282 = 12*b, -4*j - 3*b + 207 = 0. Let m = k - j. Are m and 4 non-equal?
False
Let u = 111.6 + 18.4. Let g = u + -70. Let k = g - 56. Which is smaller: k or 0.06?
0.06
Let u = -54303/2 + 27151. Which is greater: u or -30/13?
u
Let a = 187 + -189. Let p be 1 + (-104)/2 - 8/a. Is -46 bigger than p?
True
Let m = -331.25 + 344. Let x = m - 4.75. Which is greater: -7 or x?
x
Let f be ((-13)/52 - 3375/18)/((-2)/232). Is f bigger than 21779?
False
Let o = 12 - 9. Suppose o*f + v - 6 = 0, 0 = 2*f + v + 1 - 4. Let w be (-30)/(f + -1 + -3). Which is greater: w or 31?
31
Let g = 66 + -33. Suppose 3*b + 4*o = 2*o + 87, -2*b - 2*o = -54. Are b and g equal?
True
Let d(x) = -4 - x**2 - x - 20 + x**3 + 0*x**3 - 15. Let s be d(0). Let t = -25 + -15. Is s bigger than t?
True
Let g(p) = -1 - 1 + 0 + 7 - 7*p. Let i = -753 - -755. Let a be g(i). Which is smaller: a or 2/7?
a
Let i be 40012/(-1694)*-11*(-11)/(-2). Is 1433 greater than or equal to i?
True
Let z(m) = -m**2 - 9*m + 8. Let r be z(-9). Let c be 3/r + ((-58149)/72)/7. Is c smaller than -116?
False
Let j = 1216078 - 34053821/28. Let o = 130 + j. Let x = 280 - 280. Which is smaller: x or o?
x
Let y = -322.7402 + 320.86. Is y at least 1?
False
Suppose 0 = -3*o + 76 - 67. Suppose -8 - 1 = -3*c - 3*b, -5*c = 3*b - 13. Suppose 2*f + 6 = 2*g, -c*f - g = -0*f - 9. Is f greater than o?
False
Let x = 22837 - 22835. Which is bigger: 62/25 or x?
62/25
Let j be -10 - (-4 - 22100/3680). Which is bigger: 0.1 or j?
0.1
Let k = 481 + -452. Suppose -11*a - k = 18*a. Do -7/8 and a have different values?
True
Let w = 0.03 - 0.03. Let a = 33 - 127. Let f = 53 + a. Is w smaller than f?
False
Let f(z) = -z**2 + 20*z - 2. Let r be f(14). Suppose 5*x = 1247 - 842. Is x > r?
False
Let k = 48 - 43.63. Let q = k + 0.63. Is -14 less than or equal to q?
True
Let p be ((-2)/(-148))/(5*2/20). Let n(m) = m**3 + 13*m**2 - 31*m - 14. Let y be n(-15). Is y bigger than p?
True
Let z(q) = 55*q - 5332. Let d be z(89). Which is bigger: d or -440?
d
Suppose 0 = 4*f - 0 - 8. Suppose p - 10 = -4*p. Let a be (p + (-14)/6)/1. Which is smaller: a or f?
a
Suppose -2 = 2*y - 2*v, 3*y - 8*y + 4*v = 2. Suppose 0 = 7*b - 3*b - 40. Let d = b + -12. Do d and y have the same value?
False
Suppose 0 = a + 3*b + 4, 2 = -2*a + 4*b - 6. Let c be (-16 - 1)*4/(a/3). Is c less than 201/4?
False
Let s be (-4 - (-9)/((-27)/(-3)))*-1. Is 75/46 < s?
True
Let q(p) = 30*p + 349. Let d(r) = 90*r + 1042. Let n(u) = 3*d(u) - 10*q(u). Let j be n(-8). Is j greater than or equal to -126?
True
Let b(k) = 784*k + 2482. Let i be b(-7). Which is bigger: i or -2999?
-2999
Let x be ((-1 + 2)/(-4))/((-1)/116). Let l = -31 + x. Let s be (-4)/l*(78/(-12) - -6). Which is smaller: s or 5/13?
s
Let p = 1079 + 5609. Is 6689 at most p?
False
Let v be 10356168/(-376)*(-1 - -2*7/12). Which is greater: v or -4592?
v
Let d = 141 + -133. Let y = 137 - d. Which is bigger: -2 or y?
y
Let s = -18497/27 + 685. Let q be ((-50)/5 + 11)*(-1)/1. Which is smaller: q or s?
q
Let n = 33 - 33.64. Let c = n - -0.04. Let q = -0.62 - c. Which is smaller: -0.1 or q?
-0.1
Let j be 6/(-78) + -13 + 9 + 9207/2067. Is 1 greater than or equal to j?
True
Let i = -51 - -126. Let f = i - 30. Is f at least as big as 47?
False
Let g = 2/701 + -797/33648. Let j = -1867 - -89641/48. Let o = j + g. Does o = 1?
False
Let d be (-1)/2699 - (4/26 - 4/26). Are -1 and d nonequal?
True
Suppose 319*j + 4 = 321*j. Suppose 70 = 3*l + 3*o - j*o, 3*l = 5*o + 46. Are 252/11 and l non-equal?
True
Suppose 3*j + 3*p = -0*j - 12, 4*j - 4 = p. Let f = 106 + -346. Let g be f/(-693) - (-2 - 16/(-7)). Is g <= j?
False
Suppose 0 = -3*p + 2*f - 18 + 30, 5*p - 2*f = 16. Let o = -74 + -10. Let m be (-290)/o - 8/28. Which is smaller: p or m?
p
Let d = -292 - -302. Suppose 4*v - 7*v = -5*m + 1536, 5*v = -d. Is 306 equal to m?
True
Let b(y) = y**2 - 44*y + 477. Let k be b(19). Which is bigger: k or 56?
56
Let l be 21/(-105) - 21/(-5). Suppose -68 = -5*f - l*q, 0*f + 2*q - 16 = -f. Is 17 bigger than f?
True
Let q(z) = -6*z**2 + z - 93. Let u be q(0). Let s = 104 + u. Is 20 at least s?
True
Suppose 7*w = 31*w + 13*w - 111. Which is smaller: -32/13 or w?
-32/13
Let z be (4 + (-3 - (-6)/(-4)))*12. Let r be 18/(-15) - (-3)/15 - z. Is 17/4 not equal to r?
True
Let c(d) = -4*d**3 + 373 - 376 + 3*d**3 + 2*d**2. Let s be c(-4). Is 94 at least s?
True
Let k(l) = l**2 + 6*l + 8. Let t(q) = -q**3 + 15*q**2 - 10*q - 33. Let r be t(14). Let p = -26 + r. Let n be k(p). Is 20 < n?
False
Let m = 583 - 493. Let q be (-446)/(-85) - (-36)/m. Which is greater: 5 or q?
q
Let k(c) = -107*c - 5. Let o be k(-4). Let b(q) = q**3 - 98*q**2 + 107*q - 546. Let g be b(97). Are g and o non-equal?
True
Let w = 155 - 147. Let m be -4 - (1903/44 - 2/w). Which is bigger: m or -45?
-45
Let y = 4707 + -4707. Which is smaller: y or -1/1721?
-1/1721
Suppose -22 = -10*n + 78. Let h be ((-8)/n + 20/(-100))*1. Which is smaller: -17/7 or h?
-17/7
Let m(w) = 135*w - 1. Let o be m(-1). Let y be o/(-102)*3/(-274). Which is greater: 0 or y?
0
Let m = 6 + 1. Let t = -106 - -110. Suppose -5*n - t*z = 0, 2*z = 3*n - z. Which is bigger: m or n?
m
Let z = -157 + 29. Let v = 1114977 - 1115104. Is z smaller than v?
True
Let r = 6 - 8. Let l = -646 + 641. Is l <= r?
True
Let m(t) = t**3 - 32*t**2 - 37*t + 132. Let j be m(33). Do 7/975 and j have the same value?
False
Let z be 18 - 19 - 4*4565/30. Do -611 and z have the same value?
False
Let f = 3.3 - -5.5. Let m = -84.8 + f. Let v = m - -75. Is v less than 4?
True
Let u = -252 + 251.76. Which is smaller: 19 or u?
u
Let d = -0.275 + 0.015. Let a = d - -0.25. Is a at most -3?
False
Let x(i) = -i**3 - 2*i**2 + 9*i + 6. Let a be x(-4). Let j be (6/(-48))/(a/2348). Let o = j - -146. Which is smaller: o or 0?
o
Let j be 2/(-11) - 234/286. Let f be (j - (-1)/5) + (-6699)/(-55). Which is smaller: 119 or f?
119
Let a = -61.32 + 61.317. Which is smaller: 69/5 or a?
a
Let c(k) = -333*k + 408. Let t be c(4). Does -927 = t?
False
Let i = -18/127590517 + 216526068077/35163436123132. Let v = i + -3999077413/1282348188. Let s = v + 2/1551. Which is smaller: s or -2?
s
Let j be 4/(-6)*315/(-42). Let i be (j - -1) + 5 + -6. Let x be 2/i - 1134/60. Is x less than -20?
False
Suppose 4*d = -2*f + 78 - 102, 0 = -5*d - 5*f - 25. Suppose 5*k + 32 = -2*q, 8 = -3*k + q - 20. Which