ost c?
True
Let t(z) = -z**3 + 3*z**2 - 5*z - 1. Let u be t(4). Let g = -12 - u. Suppose -3 = 3*d + 4*r - g, 2*d - 4*r = -12. Is -1 != d?
True
Let o = 1.8718 + -1.8718. Which is bigger: -1065 or o?
o
Let a(m) = -230*m - 5519. Let z be a(-24). Is z at most as big as -100/1187?
False
Suppose 3*o - 6 = 0, -5*b = -0*b - 3*o - 34. Let i be (b/6)/(3/(-36)*-8). Let s be ((-30)/(-10))/(i/14). Is 22 smaller than s?
False
Let y be (-186)/5*(-2)/6. Let l = -7612.4 + 7612.5. Which is smaller: l or y?
l
Suppose 5*x = -4*z - 2, 5*x + z + 4 = -2*z. Let h be x/2*-3 + 1056/(-16). Are -62 and h unequal?
True
Let g = 20264821/985 + -3905/197. Let o = g + -20424. Let s = 130 - o. Is 1 less than or equal to s?
False
Suppose 16*n = -12 + 108. Let t be (-11)/(17556/9568) + n. Do t and 0 have the same value?
False
Let i(y) = 6*y**2 + 2*y - 2*y**2 - 5*y**2 - 3*y**2 + 2*y**2 + 2. Let a be i(-1). Is a less than -56/17?
False
Suppose 4*g = -4, 4*a + 119*g + 39 = 116*g. Let n = 3/202 + -8903/1010. Is a < n?
True
Let l(h) = h + 2. Let i be l(-3). Suppose 12*m + 98 + 298 = 0. Let a be 18/m - 270/(-616). Which is bigger: a or i?
a
Let u be (-8307)/(-18)*(-13)/((-26)/(-20)). Which is greater: -4614 or u?
-4614
Let d = 68 - 159. Let a be 52/d - 1072/(-14). Is 74 > a?
False
Let v = -101 - -101. Suppose v = -27*b + 587 + 1681. Is 85 != b?
True
Let r = -15.78 + -0.22. Let c be 870/60 - 15/6. Let m be (c/(-16))/(3/2). Is m > r?
True
Let o = 213/1102 - 20161/115710. Let r(j) = -j**2 - 6*j - 5. Let a be r(-5). Which is smaller: o or a?
a
Let i = 1 + 1. Let j = -508.2 - -510. Let s = j - i. Is -3/7 >= s?
False
Let g = -2303 - -3248. Which is bigger: 941 or g?
g
Let s be 3*(-4)/60*(29 + -3). Let i = -7 + 21. Suppose -2*j = k - 3*k + i, -23 = 4*j + k. Which is bigger: j or s?
s
Suppose 0 = 3*l, 4*h = 4*l - 1 - 3. Is -4/671 > h?
True
Suppose 0 = -16*s + 62*s + 782. Is s smaller than 0.13?
True
Suppose 0 = 30*c + 12402 - 792. Let z = c + 381. Is -9 >= z?
False
Suppose 43142 + 15235 = -61*f. Which is bigger: -958 or f?
f
Suppose 4*s - 2*s = 28. Suppose -6*i = -3*g - 2*i - s, 0 = 2*g + 3*i + 15. Let h be 858/6292*3*-11. Which is bigger: h or g?
h
Let k = -149/160 - -17/32. Let g = 22 - 15. Let s = g - 8. Which is greater: s or k?
k
Suppose 6*u + 14 = 5*u + 4*t, u - t + 8 = 0. Let l be -9 + 12 + u/(-14)*-8. Which is greater: -0.2 or l?
-0.2
Suppose 96*v - 92*v = -12. Let p be (-11943)/(-1326) + v - (9 + -3). Is -1 < p?
True
Let j(a) = -1836*a + 98. Let z be j(2). Is -3574 < z?
False
Let s be -2*(-30)/35*145467/36. Is 6927 > s?
False
Let a be (4 + (-3)/2)*16/100. Which is smaller: -0.2706 or a?
-0.2706
Let j be (-189)/(-58233)*(-8)/(-12). Is j greater than 0?
True
Suppose -5*z = 5*o - 165, -5*z - 590*o + 591*o + 153 = 0. Is z > 351/11?
False
Let m(s) = s**3 + 30*s**2 - 281*s + 50. Let d be m(-33). Is 6057 smaller than d?
False
Let i = -18.6 + 7.2. Let t = 24.4 + i. Is -1 greater than or equal to t?
False
Let k be (-2 - -1)/((-2)/4). Let o = k - 3. Let n be 2/(-1) + (-2420)/(-950) + 15/(-25). Which is smaller: o or n?
o
Let h = -3220/39 - -3030046/36699. Is h greater than 0?
True
Let s = -288.01 - -287.8. Is 0.37 at least s?
True
Suppose 5*t = 2*o - o + 115, 2*t - 3*o - 46 = 0. Is 510/23 not equal to t?
True
Suppose 0 = 5*j - 5*v, -3*v + 4 = -j + 2. Let h = -155 + 99. Let d be 808/(-3474) + 1 + h/72. Is d less than j?
True
Let w be 16/(-6) + (-21)/63. Let q be (-15)/60 - 122/(-8). Let y = 15 - q. Is y less than w?
False
Let r = 29 - 34. Let p(k) = -k**3 - 5*k**2 - 2*k - 3. Let t be p(r). Suppose 5*l = i - 6 - t, -4*l = -2*i + 38. Are i and 22 non-equal?
True
Let h be 231/9*7/7 + 13. Let b(r) = 2*r**2 + 7*r - 9. Let y be b(-7). Do y and h have different values?
True
Let i = 1189 - 1193. Let r be (2 - 0)*5/2. Suppose 7*a = r*a - 6. Which is bigger: i or a?
a
Let y(j) = -j + 6*j**3 - 7*j**2 - 2*j**3 + 2*j**3 - 7*j**3 + 1. Let l(b) = b**2 - 22*b - 30. Let r be l(23). Let n be y(r). Is 5 less than or equal to n?
True
Let h be ((-14)/49)/(13/(-53)*-2). Which is smaller: h or 0?
h
Let t be (-3 - (-33)/9)*(2 + -113). Are -65 and t non-equal?
True
Let q be (-8)/(-2) + 2*(-17 - -14). Which is greater: -1107 or q?
q
Let r(t) = -12*t - 175. Let o be r(-15). Suppose -2*b + 3*m - 314 = 2*m, 4*b = o*m - 634. Which is smaller: b or -155?
b
Let m be (-106)/40 - (-13203)/5868. Let o = -206.87 - -208. Which is bigger: m or o?
o
Let c = 1.456 - 4.456. Which is bigger: c or -0.63?
-0.63
Let b(m) = -13*m - 138. Let f be b(-25). Suppose -179 = 8*a - f. Which is smaller: a or -3/61?
-3/61
Let d = 5.0236 - 4.8236. Let m be (-2)/((-14)/2893) - -1. Let n = m - 412. Which is smaller: d or n?
d
Let o = 757 + -46178/61. Let b = 796/183 + o. Let y = 6 + -1. Which is smaller: b or y?
b
Let y = 193 + -183. Suppose -6*c = 2*i - y*c - 8, 2*i - 18 = 2*c. Which is smaller: 27 or i?
i
Let r = 34 + -48. Suppose -69*i + 62*i = -378. Let d be i/(-4) - -1 - (-1)/(-2). Which is smaller: r or d?
r
Let m = 40251/32188 - 4/8047. Which is greater: -5/6 or m?
m
Let x be -24 + (-506320)/(-200) + (-16)/10. Does x = 2506?
True
Let l be -1*96/(-18) + -6. Let w = -42.968 + -0.032. Let h = w - -43. Are l and h unequal?
True
Suppose -23*a = -27*a + 56. Suppose -4*h + 3*h - 2*u = -a, 0 = 4*h + 3*u - 41. Let q be h/28 + 1376/2044 + -1. Which is greater: q or -1?
q
Suppose 4*t + 872 = 3*s, t - 1461 = -5*s - 0*t. Let m = s - 423. Does -131 = m?
True
Suppose -5*h - 158 = -3*u, 4*u - 128 - 73 = -3*h. Suppose -73*q + 67*q = 0. Is q at most u?
True
Let h = -702 - -1122. Let k = h + -330.4. Let m = 90 - k. Which is greater: -10 or m?
m
Let f = 3 + -7. Let i = 8.97 - 19.47. Let q = 10.55 + i. Is f < q?
True
Let m = 30 + -26. Suppose 4*u + m = -88. Let g = u - -24. Is g greater than or equal to 4/3?
False
Let s be (-2)/(-14) - 4902/51170. Is -1/8 greater than s?
False
Let t be (-6)/27 - (-4)/72. Let o be (-320)/56*-1 + -5. Are t and o equal?
False
Let j = -7145 + 7146. Which is smaller: -2577 or j?
-2577
Suppose -4*x + 5*c + 4 = 0, 2*x - c = -9 + 5. Let r be ((-3)/(-5))/(153/(-720)). Which is bigger: x or r?
r
Let j = -7 + 28. Suppose j*c = 13*c + 168. Is c <= 5?
False
Suppose m - 6*l = -5*l + 8, 2 = 2*m + 5*l. Let i be -61 + m*(-5)/15. Are -63 and i nonequal?
False
Let p = -1315 + 1086. Are -227 and p equal?
False
Let c = 187 - 185. Suppose -2*z = 7*z + c*z. Is z < -2/483?
False
Let c(j) = -7*j + 125. Let g be c(20). Let x(l) = 4*l + 56. Let o be x(g). Is o greater than or equal to 29?
False
Let l be ((-132)/(-30) + 4)/((-3)/(-35)). Let u be (l/1029)/(45/(-28)). Which is greater: u or 0?
0
Suppose 0 = 4*i + 1 - 29. Suppose 3*g - i*g = -o - 2, g = 4*o + 53. Let b(f) = -14*f**3 - f**2 + 1. Let c be b(1). Are o and c non-equal?
False
Let q = -31 - -17. Let j = q - -7. Let w = 458 + -462. Is w at most j?
False
Let o be 52/10 + 13/(-65). Let m be 1/((-2)/6) - o. Let w be (1 + -3)*52/m. Does w = 11?
False
Let q = 1.22 + -0.53. Let f = q + -1.09. Which is bigger: 13 or f?
13
Suppose -4*j - 2*s + 25 = 3, -2*s + 6 = 0. Let c be (-14)/j*60/(-105). Suppose 4*l - 5 - 7 = 4*a, -c*a - 7 = -l. Is -15 at least as big as l?
False
Let b be (-344720)/682 + (-12)/22. Which is bigger: b or -498?
-498
Suppose -2*x - 8 = -x. Let l be 30/(-4)*(-144)/60. Suppose 5*v = -m - 26, 3*m - 6*m + 5*v = l. Is m >= x?
False
Let o be (-1032)/9 - 1/3. Let l = -61222 + 61107. Is l less than or equal to o?
True
Let o = 170/189 - 5750/6993. Is o >= -1?
True
Let t = 60151/4 + -15038. Let h be 4/(-6)*(-9)/6. Let b = h + -1. Which is smaller: b or t?
t
Let g = 77.32 - 78. Let v = 8.68 + g. Which is smaller: v or -9?
-9
Let v be -2*(-77580)/(-7389) - -21. Which is bigger: -10 or v?
v
Let u = 25945 - 1686427/65. Is 0 at least u?
True
Let m be 196*(-4)/(-3)*(-6)/(-4). Suppose i - 5*i = -m. Suppose -5*h - 2*b = -i, h + 0*h + 5*b = 38. Is h at least as big as 18?
True
Let l(u) be the second derivative of -u**4/4 + 4*u**3 + 15*u**2/2 + 3*u. Let r be l(8). Suppose -2*t - r = -3*k + 5, 3*t + 15 = -3*k. Which is bigger: 2 or t?
2
Let j be ((-2)/(-4))/((-2)/((-12)/(-3))). Let u be (4 - (-28)/(-8))*0/j. Is u greater than -2/11?
True
Let k = 234.083723 + 0.000277. Let w = -234 + k. Is -2 bigger than w?
False
Suppose 5*q = -0*q + j - 27, j + 23 = -5*q. Let d be ((-2960)/25)/(-8)*q. Is -73 > d?
True
Let k b