 or q?
q
Let p be (1/(-9)*0)/((-2)/(-2)). Suppose y = -2*w - 0 + 5, p = 4*y + 5*w - 14. Is -3/46 greater than y?
False
Let u = -247 - -250. Suppose n - 44 = -u*n. Is 69/7 bigger than n?
False
Let n(o) = 573*o - 3436. Let g be n(6). Let c = -0.4 - 0.6. Which is smaller: c or g?
c
Suppose -2*p - 2*p + 10 = 2*o, 4*p + 5 = 3*o. Suppose -25*r + 15*r - 330 = 0. Let q be 10/28*r/55. Which is smaller: q or p?
q
Let z = 2023 + -2026.4. Is z smaller than -0.099?
True
Suppose 2354 + 738 = 2*g. Let r = g + -301468/195. Is 1 less than or equal to r?
False
Let r(w) = 85*w - 3566. Let s be r(17). Which is greater: s or -2119?
-2119
Suppose n + 106 - 101 = 0, 3*w - 27733 = -n. Are w and 9246 nonequal?
False
Suppose 0 = -4*q + 3*b - 2, 4*q + 18 = -0*b - 5*b. Which is greater: 4064 or q?
4064
Let b = 72339606543/55177234 + -13/1126066. Let a = b - 1311. Let m = 3 + -4. Which is smaller: m or a?
m
Let n = -6518 + 7001. Is 480 greater than or equal to n?
False
Let v(x) = -x**3 - 4*x**2 + 6*x - 4. Let b be v(-5). Let t be 3*((-1)/b + 0)*6. Let y be (3/27*6)/(14/(-9)). Is y at most as big as t?
True
Let d(x) = -1072*x + 6059. Let g be d(6). Is g <= -373?
True
Let g(c) = -c**2 + 28*c + 378. Let h be g(-13). Is -153 equal to h?
False
Suppose -y - 31 - 3 = 63. Is -83 not equal to y?
True
Let k = 143 + -109. Suppose 3*m + k - 13 = 0. Is m bigger than -52/9?
False
Let t(a) = -a**2 - 7*a - 8. Let u be t(-7). Let x be -7 + ((-4)/8)/((-4)/56). Let m(c) = 13*c - 8. Let w be m(x). Is w > u?
False
Let b(v) = -v**3 + 8*v**2 - 10*v + 19. Suppose -2*n - 4*f + 2 = 0, 3*n + f = 3*f + 27. Let a be b(n). Let k be -4 + 45/12 + a/(-16). Which is smaller: 4 or k?
k
Let j = 63 + -62.958. Let d = j + -1.042. Let p = 2 + -0.9. Which is greater: d or p?
p
Let w = -0.0608 - -2.5608. Let d = w - 5.1. Do 5 and d have the same value?
False
Suppose -4*d + 9*d + 305 = 2*y, 4*y + 146 = -2*d. Let r be 2 + 7 + 566/d. Which is greater: r or -1?
r
Let l(v) = -v**3 - 5*v**2 - 8*v + 21. Let q be l(-4). Which is bigger: 16 or q?
q
Suppose -2*i = -i - 4. Suppose -2*a + a - 9 = i*s, 0 = -3*s - 2*a - 13. Let t be 0 + 73*(3 - 4)*s. Which is smaller: t or 74?
t
Let n(d) = d**2 + 14*d + 37. Let z be n(-12). Let r(b) = -8*b - 5. Let o be r(-3). Is z smaller than o?
True
Let f = -61095979/7687098 + -373/14002. Let n = 70/9 + f. Which is smaller: n or -1?
-1
Suppose -2*o = -2*y - 46, 17*o = 20*o - y - 71. Suppose -69 = o*r + 3. Is r < 2?
True
Suppose 2*k = 3*q - 7*q + 54, -2*q + 5*k + 57 = 0. Suppose q*t = 10 + 70. Suppose t*o + o = o. Which is smaller: o or -7?
-7
Suppose k + 3 = -3*y, 2*k = -3*y - 110 + 101. Which is greater: y or 2/11431?
y
Let t = -0.753 + 0.124. Let k = t - 0.371. Is 39 != k?
True
Suppose 12 = -5*q - 8. Let u be q + (-56)/(-9) + (-2)/(-6). Which is bigger: 4 or u?
4
Let n = -0.0115 - 44.1885. Let q = -3.7 + -40.3. Let h = q - n. Is -12 <= h?
True
Suppose -5*x - 468 = -23*x. Which is greater: -10 or x?
x
Let c be 3*(-16 - 0) - -1. Let k be 20624/(-18) - (-98)/(-441). Let n = -1193 - k. Is c less than n?
False
Let i(u) = u**2 + 65*u + 1055. Let k be i(-34). Which is greater: k or 3/368?
k
Let m be -4 + 11 + (-24)/(-697264)*-203370. Is m <= 1?
True
Let u = -5042 - -4582. Are -3225/7 and u equal?
False
Suppose -135 = 7*o - 2*o. Suppose -48*l + 1997 = 221. Let y = o + l. Which is greater: y or 9?
y
Let l = -44/15 - -338/105. Which is smaller: 0.101 or l?
0.101
Let m = 5901 + -5827. Which is greater: 5/7 or m?
m
Let a = 23342 - 15076. Does 8268 = a?
False
Let x = 0.81 - 1.26. Let a = x + -14.55. Let f = a - 6. Which is smaller: -1 or f?
f
Let u = -17.409 + 17.359. Which is greater: -891 or u?
u
Let c = -2750 - -2756. Is c bigger than 306?
False
Let k = 2784 + -528959/190. Suppose 0 = -2*h - 3*h + 3*h. Which is smaller: k or h?
h
Let b = 230 + -148. Suppose -b*h = -97*h + 15. Which is smaller: h or 1/831?
1/831
Let w be -2*1/(-13) - (-19 - (-84458)/4290). Do 0.1 and w have the same value?
False
Let f(x) = 3*x**3 + 12*x**2 + 12*x + 7. Let r be f(-3). Which is greater: r or -10.54?
r
Let a be (39501/392)/27 - 2/16. Is a at most as big as 5?
True
Let b = 3/2957 + 626875/8871. Let g = b - 70. Suppose 15*f - 224 = -13*f. Is f not equal to g?
True
Let t be (-408)/9 - 4/(-48)*4. Are -18 and t non-equal?
True
Let v = -305.1 + 288. Let q = v + 17.22. Which is smaller: 8 or q?
q
Let b = -1781711/62 - -28738. Let a = 796/93 - b. Are a and 9 unequal?
True
Suppose 97*g = 95*g - 3*s - 15, 2*s - 30 = 2*g. Let x = -320576/151 + 2123. Let t = x + -3769/302. Is t bigger than g?
False
Let o be (88/6936)/((-2)/(-6)*-1). Is o < 1?
True
Suppose -476 = -364*r + 10445 + 1091. Which is smaller: 138 or r?
r
Let j = -69676/65 + 1072. Let p be -27*(-8)/(-10)*(6 - 1). Let b = -108 - p. Which is smaller: b or j?
b
Let q be (-4844)/(-8) + 4/16*-2. Let j = -532 + q. Which is bigger: j or 75?
75
Let a = -297 - -570. Suppose 4*l = 3*h - a, -5*h - 9 = -4. Do -203/3 and l have the same value?
False
Let k = 48/65 - 7/13. Suppose -3*f = 5*t - 39, 55 = 2*f + t + 29. Suppose 8*j - f = -5*j. Does k = j?
False
Let x(j) be the first derivative of 2*j**2 + 10*j - 6. Let l be x(-4). Let i be 2/(-86)*(l + 5). Which is bigger: i or 1?
1
Suppose 2*u + 22 = 4*w, w + 0*u - 28 = 5*u. Let y(f) = 11*f**2 + 4 + 3 - 755*f + 0*f**2 + 749*f - 3. Let o be y(w). Is o < 86?
True
Let d(c) = -3*c**2 - 9*c + 8. Let r be d(1). Let i be (((-616)/(-16))/7)/r. Which is bigger: i or 0?
0
Let f be 0 + (-19784)/6596 + 3. Let a = f + 6569/44523. Suppose -9*q + 12 = -3*j, -2*q - 2*j + 4*j = -8. Which is greater: q or a?
a
Let c be (-14)/4*(-342)/133. Suppose c*o - 33*o = 384. Which is smaller: -115/7 or o?
-115/7
Let y(k) = -k**3 - 17*k**2 - 26*k + 65. Let h be y(-15). Suppose 3*n - 2*a + a = 207, h*n + a - 353 = 0. Is n greater than or equal to 2?
True
Let b = -2 - -1.31. Let h = b - -0.59. Let o be 3 + 1/(9/(-21)). Is h at most as big as o?
True
Let j = 254067119790/29625744522053 - 378/72216169. Let x = -2/1481 + j. Is x less than 0?
False
Let c = -50 - -34. Let p = -256 + 239.9. Let t = c - p. Is 20 != t?
True
Let v = -15336 + 15337. Let w = 8 + -16. Let g be (w/30)/((-6)/(-15)). Are g and v equal?
False
Let n = -1155.1 - -1155. Let t = 3.65 - 4. Let u = t - -0.22. Which is smaller: u or n?
u
Suppose 0 = -2*h + 4*h - u - 2, -3*h = -4*u - 8. Suppose -32*t + 37*t + 250 = h. Let d be 4 + (106/1)/(-2). Which is bigger: d or t?
d
Let q = 67 + -60. Suppose 0 = 3*c + 6, -10*g - c = -15*g + q. Does g = 1/310?
False
Suppose 0 = -86*b + 75*b + 2310. Let m = b - 172. Which is bigger: m or 39?
39
Let t(k) = -2*k**3 - 15*k**2 + 9*k + 3. Let r be t(-8). Which is smaller: -334/7 or r?
-334/7
Let r(f) = -f**2 - 7*f + 2. Let q be r(-4). Suppose -d + 13 = 2*v, -5*v + q = 3*d - 20. Let a = 297 + -296.9. Which is smaller: d or a?
a
Suppose -46 = -x - 37. Let c be (33/x)/(-11)*-3. Let f be 1/3 + 3/(-7). Is c bigger than f?
True
Let x = 16086731/10962 - 2935/2. Is 0 not equal to x?
True
Let s be -5*((-2)/(-5) - (-164)/205). Does s = -306/41?
False
Let r be (-595)/280 + (-1)/(-8) + 3. Let m = 32 - 106. Let c be (-4)/m*8/48. Which is greater: c or r?
r
Let m = 8181 - 8180. Which is bigger: m or 655.5?
655.5
Let b = -153.19 - -153.39. Is 145.2 < b?
False
Let h(o) = 9*o + 8. Let s be h(-1). Is s at least as big as -2/1611?
False
Let q(a) = -2*a**3 - 5*a**2 + 5*a - 4. Let d be q(2). Let t(u) = -u**3 - 29*u**2 + 28*u - 60. Let m be t(d). Is -2/401 < m?
True
Suppose 4*z + 3*r = 17, 5*z + 2*r - 40 = -10. Suppose 0 = -5*u - z - 12. Let h be (52/(-8))/13*u/(-10). Is -6 at most h?
True
Suppose 4*u - 1545 = -q, -3*u - 7800 = -5*q + 2*u. Let t be 35/105 - 3/(q/164). Is -1 greater than or equal to t?
False
Let o = -2072 + 14502/7. Which is smaller: o or 13/616?
o
Let g = 4387 + -4386. Is -2/4245 less than g?
True
Let i be 4/10 - 430/(-50). Let t = 24 + -21. Suppose -5*o + 5*r + 29 = -4*o, o - t*r - 21 = 0. Is o != i?
False
Suppose -845 - 4507 = 4*w. Let j be w/378 + -2 + 17/7. Which is bigger: -4 or j?
j
Let t = 7770 + -8685. Is -916 less than or equal to t?
True
Let g = 29.85 - 9.91. Let b = 19.8 - g. Is 0 < b?
False
Suppose 19*y - 4 - 53 = 0. Let q be ((-18)/(-12))/((-6)/(-64)). Suppose -y*c + 2 = -q. Which is smaller: 4 or c?
4
Suppose -7*c = -0*c - 1428. Suppose -529 = -4*b + 291. Which is 