e
Let h = -1/1129 + 18067/3387. Which is bigger: h or 12?
12
Let d be (-5)/(-1) + -20 + -18. Which is greater: d or -29?
-29
Let t = -15 - -1. Let k be -2*(t/2 - 3/3). Which is smaller: 17 or k?
k
Suppose -33*c = -907 + 4075. Is c greater than -93?
False
Let p(g) = 3*g**2 - 31*g + 9. Let a be p(10). Which is bigger: a or 1/10?
1/10
Suppose 0 = -5*l + 5*c + 10, -3*l + 4*c + 5 + 1 = 0. Suppose 62 = -l*r + 8. Let b be r/15 + 1 - -2. Which is smaller: 1 or b?
1
Let p be ((-2)/6)/(2/15). Let v(d) be the first derivative of d**3/3 + 3*d**2 + 5*d + 10. Let b be v(-3). Which is greater: b or p?
p
Let w be 78/8 + (-8)/(-32). Let g be 6/w - 12/20. Let o be (-4)/22 + (0 - (-104)/330). Which is bigger: g or o?
o
Let a(l) = -l**3 + 7*l**2 + 23*l - 144. Let u be a(5). Is u at least as big as 26?
False
Suppose 6*d - 12 - 18 = 0. Let c = -1.11 - -1.2. Let a = c + -0.29. Which is bigger: d or a?
d
Let s = -0.08 + 15.08. Let h = s + -14.86. Let i = h - 0.24. Which is greater: i or -3?
i
Let g(a) = 3*a - 39. Let y = 36 - 17. Let q be g(y). Which is smaller: 19 or q?
q
Let i = -41 - -54. Let h be 6 + 1/(-1) + -1. Let z(b) = 2*b + 4. Let m be z(h). Is m not equal to i?
True
Suppose -3*v - 39 = u, 0 = u + 4*u + 5*v + 185. Is -37 >= u?
False
Let t = 57 + -33. Let m = t + -9. Suppose 5*z = 4*u + 12 + 59, 3 = z - 12*u. Is z at most m?
True
Let f = -279772/3279 + -12/1093. Which is greater: f or -86?
f
Let q = -367/6 - -61. Which is greater: q or 18?
18
Let s be (-314)/(-80) - 14/(-70). Which is greater: s or 3?
s
Let t = -657 + 466. Is 0.1 less than or equal to t?
False
Let o = -666 - 90. Is -756 greater than or equal to o?
True
Let z(f) = f**3 - 4*f**2 + 3*f + 2. Let t be z(4). Suppose -331 + 9 = -t*w. Suppose d - 13 = 10. Is w > d?
False
Let l(i) = -i**2 - 9*i. Let x be l(-9). Suppose -5*z = -5*c + 70, x*c = c + 4*z - 14. Let y = -16 + c. Do y and -13/4 have the same value?
False
Suppose 0*p + p - 13 = -3*t, 0 = -t - 2*p + 6. Suppose 8 = -t*k + 3*k. Suppose 7*y - 20 = 3*y, -y = f + 5. Does k = f?
False
Let y(i) = i**3 + 8*i**2 + 7*i + 3. Let a be y(-7). Suppose -3*v = -5*v + o + 19, a*v - 25 = -2*o. Is v >= 0.5?
True
Let d(r) = r**3 + 10*r**2 + 14*r - 29. Let u be d(-5). Are u and -21 nonequal?
True
Let g = 33441/4 + -8277. Is g less than 84?
True
Let b(r) = r**3 - 30*r**2 + 115*r. Let h be b(4). Suppose -t = -5*m - 49, t = 5*t + 4*m - 172. Are h and t equal?
True
Let x(k) be the second derivative of -k**3/2 - 15*k**2 - 11*k. Let s be x(-14). Let v be (s/(-14))/(4/(-28)). Which is bigger: 5 or v?
v
Let b = 0.058 - -0.942. Let n = -129 + 84. Let y be 1/(-3) + 3/n. Is y greater than b?
False
Let y = 471 + 530. Which is smaller: y or -1?
-1
Let g(i) = -i**2 - 4*i + 45. Let u be g(5). Which is smaller: u or 5/22?
u
Let b = -39 - 17. Let m = b - -56. Which is bigger: -6 or m?
m
Suppose -308*s + 309*s + 2 = 7. Let q = -0.12 - -0.2. Which is smaller: s or q?
q
Let z be (-10)/(-8)*-24*(-3)/(-2). Let q be ((-9)/(-30))/(z/20). Let p(g) = -g**3 + g**2 + g - 1. Let h be p(1). Which is smaller: h or q?
q
Suppose -16 + 4 = -4*t. Let s(k) = -k + 3. Let j be s(t). Let q be (5 - 8 - 3) + 4180/693. Is q greater than j?
True
Let f(g) = 3*g**3 - 53*g**2 - 42*g - 20. Let z(m) = -m**3 + 18*m**2 + 14*m + 7. Let v(n) = 6*f(n) + 17*z(n). Let o be v(13). Is o <= -15?
False
Let b = 4 + -14. Let z = b - -16. Which is smaller: z or -1/2?
-1/2
Let m be (-1 - (-2 - 2/(-6)))/(216/(-324)). Let n = 1364/21 + -65. Which is smaller: m or n?
m
Let a = 1123 - 434. Let b = -3431/5 + a. Is b greater than 2?
True
Let f be 4/(-16) - (-1)/4. Is f >= 1/57?
False
Suppose 0 = -3*j - 1 + 13. Let r be -1 + 6/15 - j/10. Which is smaller: r or -0.06?
r
Let j(t) = t + 1. Let i be j(4). Suppose 5*b - i*n = -70, 4*b + 3*n = b - 18. Let k(s) = s**2 - 7*s - 5. Let p be k(6). Which is smaller: b or p?
p
Suppose 2*d - 1 = d. Suppose 0 = -6*j + 7*j - d. Let u(z) = -17*z**2 + 1. Let p be u(j). Which is bigger: p or -17?
p
Let h be -2 - (-1 + (-45)/39). Suppose 0 = -2*r + 5*k - 3*k, r - 3*k = -10. Suppose -4*z + 3 = -r*w, 2*w = -z + 4*z - 4. Is w > h?
True
Suppose d - 6*d = 90. Let w = d - -19. Is 1/4 not equal to w?
True
Suppose 10*q + 1477 = 407. Which is bigger: -108 or q?
q
Suppose 0 = -4*q - 8*q - 192. Let l be -3*(q + 4)*(-2)/(-3). Which is smaller: l or 22?
22
Suppose 15*v - 2*y + 12 = 11*v, -2*v - 2*y = 6. Is 12 smaller than v?
False
Suppose -4*b - 2*v = -26, 5*b + 3*v - 4*v = 15. Suppose z = 8 + 4. Let x = z + -6. Which is bigger: x or b?
x
Let v be (1/(-2))/(4/(-77 + 5)). Are v and 9 equal?
True
Let p be 2/(0 + 2) - -1. Suppose -2*y + 5*z = -8, p*y + 3*z = 4*y - 4. Let s be 1/(-2) - 286/(-396). Is s < y?
False
Suppose 3604 = 37*t - 3*t. Is 317/3 at least t?
False
Let x be (-28337)/215 - (-8)/10. Which is smaller: -129 or x?
x
Let r be (1/(-4))/((-195)/(-260)). Which is bigger: r or -14?
r
Let c be (-4)/12 - (-1840)/(-15). Which is smaller: -1 or c?
c
Suppose 7*a - 1089 = -186. Let f be 2*a/1116 - (-12)/(-72). Is f < 0?
False
Let j = 24 - 16. Let f be (-6)/j*(-16)/90. Which is smaller: f or 0.2?
f
Let o be (23 + -1)*17/34. Is 7 <= o?
True
Let n = -10.2 - -9.3. Let m = 0.4 + -0.3. Let q = m - n. Which is bigger: q or 5/2?
5/2
Let z be 2/(-5)*(9 - 69). Suppose -3*a - z = -3*b, -4*a + b - 22 = -a. Is -17/3 at most as big as a?
False
Let z = 2/95 + 87/380. Suppose 13 - 15 = 2*y. Which is smaller: z or y?
y
Let z = -73.2 + 73. Which is bigger: -3.2 or z?
z
Suppose -o + 0 = -2. Let g be (o - 36/15)/1. Let r be 0 + 0 - (2 + -1). Which is greater: g or r?
g
Suppose 19 = -9*q - 53. Is -12 at most q?
True
Let n = -16.85 + 2.85. Is n at most as big as -0.2?
True
Let j = -4 - -11. Let n be (-1)/1 + 1 + j. Is 6 equal to n?
False
Let m = -1116 - -707545/634. Which is bigger: -1 or m?
m
Let s be (636/(-27))/2 + (-2)/9. Let u be 0 - (-81)/s - (-12)/16. Which is greater: u or -29/5?
-29/5
Let o be (-72)/(-24) - (-3)/((-60)/106). Which is smaller: 1/5 or o?
o
Let t = 25 + -39. Let d = t + 12. Are 4 and d unequal?
True
Let q be (-26250)/(-105960) + 2*2/(-16). Is 0 smaller than q?
False
Let c = -47 + 19. Let j = c + 28. Is -0.7 >= j?
False
Let t = 1533 + -1514. Which is smaller: t or 21?
t
Suppose 3*h - 7*h = -240. Let m be ((-14)/(-35))/(2/h). Suppose 2*d - 2*q - 24 = 0, 4*d - 2*q - 3*q = 49. Which is greater: d or m?
m
Let m be 51/(-2*((-10)/(-4) - 4)). Is 0.3 at most as big as m?
True
Let w(c) = -7 + 10 + 41 + 3*c. Let k be w(-15). Which is bigger: 1/15 or k?
1/15
Let v be 1*5804/535*1/4. Let h = 12/107 - v. Which is greater: h or -3?
h
Let o = -27 + -24. Let i = o + 50. Let c = -0.4 + 0.2. Is c < i?
False
Suppose 20452 = 53*x - 29474. Is 942 greater than or equal to x?
True
Let h be (-1 + 3)*6/(-2). Let j be (-117)/24 + 2/(-16). Let c = j - h. Which is greater: 2/13 or c?
c
Let f = -81 - -126. Let g = -47 + f. Is g greater than -24?
True
Let v = 2782 + -2796. Which is smaller: -237/16 or v?
-237/16
Let g = -12.25 - -15.25. Is 47 smaller than g?
False
Let d = -5/14 + 3/14. Let x be -1 + -2 + (1 - 1). Is d less than x?
False
Let v(o) = -o**3 - 2*o**2 + 2. Let p be v(-3). Suppose -4*m = -p - 1. Suppose -m + 5 = 2*k. Is k bigger than 0.3?
True
Let j = -57 + 38. Which is smaller: -2/9 or j?
j
Suppose 0 = -9*t + 9 + 207. Is 21 < t?
True
Let q = -180113/10 + 17997. Let i = q + 2657/190. Is 1 < i?
False
Let a = 1.09 - -53.91. Let r = a - 38. Is r less than -2?
False
Suppose 81 = -z - 3*x, z - x = -14 - 59. Is z at least as big as -76?
True
Let z = 9301/3204 - 5/356. Suppose -12 = -8*r + 4*r. Let f = z - r. Is f equal to 0?
False
Let u = 2/1365 - -151/455. Which is smaller: u or 1?
u
Let a be (-2)/(8/(-21)*6/8). Suppose -a*n - 27 = 85. Which is greater: -15 or n?
-15
Let x(k) = 2*k**3 + 18*k**2 - 27*k - 243. Let v be x(-9). Let u be ((-2)/10)/(12/5). Are u and v non-equal?
True
Suppose a = -3*u + 17, 5*u = a - 0*a + 15. Suppose -2*b = -0*b + u. Is b < 0.01?
True
Let w be 6 + 1/(-1) - 2. Let b = -35 - -38. Suppose 0 = -b*d + w. Which is bigger: 5/3 or d?
5/3
Let x = 16.7 - 16. Let w = x + 0.3. Let j = 1959 + -1958.99. Do w and j have different values?
True
Let d = -12 + 24. Suppose 5*x - 4*o = -d, -2*o - 3 = -3*x - 3*o. Let j be (3 - 164/52)/2. Is x < j?
False
Let f be 1162/(-144) - (-84)/(-224). Are f and -8 equal?
False
Let z = 2164 -