s smaller: j or -32?
-32
Let q = -75 - -382. Suppose -c - 5*v + 150 = 0, -2*v = -4*c + 381 + q. Which is greater: c or -1?
c
Let n = -8974 - -8954. Which is smaller: -139 or n?
-139
Suppose 6 + 2 = -4*o. Let z be (-3 - 0)*(-22760)/(-60). Let g = z + 1136. Is g greater than or equal to o?
True
Let o = -1.594 + 1.284. Are 0.098 and o nonequal?
True
Let u(j) be the first derivative of -j**3/3 - 3*j**2 - 3*j + 76. Let z be u(-7). Which is bigger: 2 or z?
2
Let c = 121 + -114. Let r(k) = 2*k**3 - 13*k**2 + 6*k - 5. Let p be r(c). Is 85 >= p?
False
Let w = -4 + 4. Let v be (-205650)/192 + (-5)/((-20)/(-16)). Let i = v - -1075. Is i < w?
True
Let a be 3*(-4)/24*4. Let t be 121/a + 3*(-4)/(-6). Let r = 57 + t. Is r < 0?
True
Let p = 5142/5 + -1019. Let l = -28 + 23. Let d(y) = y**3 + 3*y**2 - 10*y + 8. Let o be d(l). Which is bigger: p or o?
p
Let s = 3933 + -3934. Which is greater: 42/355 or s?
42/355
Let q = 5/2 - 2. Let d = 4765976/469 + -10162. Let z = d + -2341/938. Which is bigger: q or z?
q
Let y = -0.064 + 0.173. Let s = y - 65.109. Let x = 65 + s. Which is greater: 51 or x?
51
Let k be -4*(11 + 4)/(-3). Let i = -23 + k. Let o be 1/(3/9*i). Is 0.2 less than or equal to o?
False
Let c = -0.893 + 0.143. Let z = -0.85 - c. Does -29 = z?
False
Suppose p = -4*v - 0*p + 292, -4*v + p = -300. Suppose 10 = -2*k, d + 4*k = 4*d - v. Let o = 3 - d. Which is smaller: -14 or o?
o
Let w = 809/32 + -78207/3296. Which is bigger: w or 3?
3
Let l be (1 - 1/(-2))/(-177). Suppose -4*h - 45*h = 39*h. Is l at most as big as h?
True
Let n = -2 - -2. Let w be (10/100)/(725/(-116)). Is w smaller than n?
True
Let t = -45 - -25. Suppose -3*m = -m - 5*n + 34, -4*m - 44 = -4*n. Let r be (20/m)/(18/126). Is r equal to t?
True
Let x(i) = 39*i + 12. Let c be x(-1). Let k be (5/(-49))/(-4*c/(-42)). Which is greater: 0 or k?
k
Let u be (-4)/6702*(-11 - 57/(-6)). Do u and 0 have different values?
True
Let r = 3066 + -3060. Which is bigger: r or -0.089?
r
Let f = -72998.219 - -72887. Let g = 0.219 + f. Which is smaller: 0 or g?
g
Suppose -5*h - 3*q + 150 = 0, 2*h = 4*q + q + 29. Suppose h*g = 24*g. Suppose l + 2*v + 0*v = 2, g = -l + v + 14. Which is bigger: 9 or l?
l
Let j(b) = 6*b - 127. Let f be (-110)/(-2 + -3) + 1*-1. Let t be j(f). Let m = -0.6 + 12.6. Which is bigger: t or m?
m
Let i = 91 + -93. Let a be (-2)/(10/75*5). Let z be (-1 - i)/(a/42). Which is smaller: -15 or z?
-15
Suppose -14*q - 60 = -10*q. Suppose 3*x + x = -2*h - 40, 3*h = 4*x - 60. Let n be q/(-2)*h/3. Which is smaller: -51 or n?
-51
Let u be (4/(-72)*-12)/((-2)/(-138)). Suppose -41*c = -u*c + 165. Is 28 at least c?
False
Suppose 5*u = -n + 8475, 4090 = 2*u - 4*n + 678. Which is smaller: 1702 or u?
u
Suppose -39*a + 122*a = 0. Which is smaller: a or -0.073?
-0.073
Let g(v) = 2*v**3 - 3*v**2 - 7*v + 22. Let y be g(3). Suppose -5*p = 38 - 23. Let d be p - 5/((-10)/y). Which is bigger: 9 or d?
d
Let a = 2.758 - 2.758. Which is smaller: -2223/5 or a?
-2223/5
Let k(d) = -d**3 - 10*d**2 - 13*d - 18. Let r be k(-10). Let s = 113 - r. Let u = 0.2 - 0. Is s > u?
True
Let o = -14310 - -14345. Is o at least 22?
True
Let c be (-4078156)/(-5092) - 2/(-19). Is 799 at most c?
True
Suppose -3*g - 18*q + 15*q = -7380, 2*q = -10. Which is smaller: 2464 or g?
2464
Let x be (43/(-430))/(1/10). Is x at most as big as 4/3787?
True
Let k be -1 + 25/35 + (-40)/7. Let a be 1/(10/(-49)) - 9/k. Let x = 18 - 22. Is a at most as big as x?
False
Let x = 23 + -23. Suppose x = 17*d - 21*d. Suppose d = -6*v + 30. Is 5 < v?
False
Suppose -4*g = -7*t + 6*t + 12788, 3*g - 2*t = -9596. Let u = -38401/12 - g. Which is greater: -3 or u?
-3
Let d = 47826 - 18501. Let c be (-306)/d*10/(-6). Is c greater than 1?
False
Let u(b) = -b - 29. Let n be u(-33). Suppose 4 = -4*f + 5*x, -5*f + 0*f - n*x = -36. Is 10/3 > f?
False
Let x = -286 + 207. Let n be (121 - 1)/((-45)/30). Is n > x?
False
Let c = 693014/11 - 62876. Let g = -7688/77 + c. Which is greater: g or 25?
g
Let b be 11552/(-3857) + (-3)/(-1). Suppose 0 = -3*s - 2*v - 5, s + 3 = -2*v - 4. Is s at most b?
False
Let x = -0.024605 - 0.028395. Let d = 25/24 + -11/8. Are x and d nonequal?
True
Let c(r) = r**3 - 18*r**2 - 38*r - 33. Let d be c(20). Let o(z) = 3*z - 52. Let i be o(d). Is i at least -32?
True
Let f be 10/(-20852)*(-248)/(-155). Which is greater: 0 or f?
0
Let y(g) = -g - 7. Let x be y(6). Let f be 10 - (-12 + 5 + 5). Suppose 8*a - 48 = f*a. Are a and x non-equal?
True
Let f = 233 + -431. Let w be (-454)/f - 11/99. Is 2 at most as big as w?
True
Suppose -12*p - 9*p + 447468 = 21*p. Is 10654 at least p?
True
Let g be 3955/2825 + 46524/(-10). Which is smaller: -4649 or g?
g
Let r = 984 - -377. Suppose 4*w - 2*w + r = 5*t, -t + 2*w = -269. Which is smaller: 274 or t?
t
Let u = 622 - 625. Let v = -0.48 - -0.27. Is v > u?
True
Let v be (-476)/(-21)*180/(-40). Which is smaller: -51 or v?
v
Let u = 2 - -6. Let p(d) = d**2 - 11*d + 8. Let f be p(u). Suppose -64*b - 208 = -51*b. Is f at least as big as b?
True
Suppose -b + 3*b + 18 = 0. Let a(h) = -22 + 33*h - 17*h - 21*h. Let t be a(b). Is 24 < t?
False
Suppose -1080 = 5*v + 5*k, -2*v = -41*k + 36*k + 467. Is -1542/7 less than or equal to v?
False
Let o(x) be the second derivative of x**4/4 - x**3/6 - 16*x**2 - 67*x. Let t be o(-5). Is 48 greater than t?
False
Let u(k) = 2*k**3 + 10*k**2 - 19*k - 31. Let f be u(-6). Suppose 5*s - 3*s = -140. Let h be (s/160)/(2/(-56)). Which is smaller: f or h?
f
Let l be 4/7 - (-2)/(-7). Let b = -1317.64 + 1317. Is l not equal to b?
True
Let n = 12337 - 12337.65. Let w = 0.5 + 0.5. Let p = -1.1 + w. Which is smaller: p or n?
n
Let r(i) = 18*i + 430. Let g be r(5). Which is greater: 519 or g?
g
Let a(z) = z**3 - 4*z**2 - 4*z + 4. Suppose 0 = 3*p - 4*p + 4. Let m(f) = f**3 - 3*f**2 - f - 8. Let b be m(p). Let t be a(b). Which is smaller: -11 or t?
t
Let o = -183563 - -2386327/13. Let r be (-2 - (-3 + -1)) + -1. Which is greater: o or r?
r
Suppose -20 = -5*z, 18 + 12 = 2*h + 4*z. Let l(j) = -j**2 + 7*j - 5. Let p be l(h). Let k be 8/p*7/28. Is 0.26 >= k?
True
Let n = 44.42 + -45.02. Is n at least as big as 80?
False
Let o = -177306763/196973 + 17103/19. Does o = 0?
False
Let y = -29 - -60. Let c = y - 37. Let a be (2/74)/((-2)/c). Is a bigger than 1?
False
Let l = -2739.46 + -56.54. Is 2/5 less than l?
False
Let j be ((-20)/(-16))/(1/4). Suppose 61 = 38*v - 15. Suppose v*k + j + 17 = 0. Are k and -8 equal?
False
Let y(b) = b**3 - 12*b**2 + 32*b + 24. Let u be y(7). Let s be 8 + 2/(1 - 2). Let z be ((-22)/s)/(-4 + u). Which is greater: 3 or z?
z
Suppose 3*b - 2*z = 104, 4*z + 5 = -b + 21. Let i be (-2 + -3)*86/(-10). Suppose 4*f - 89 = i. Which is smaller: f or b?
b
Let b = -4998 - -4997. Which is greater: 8/637 or b?
8/637
Let g be ((-38086)/(-16))/(270/(-60)). Let o = -529 - g. Which is smaller: -0.1 or o?
-0.1
Let g = 13665799/99460 + 1/19892. Let y = -4207/30 + g. Is y > 2/5?
False
Let l be ((-1)/2 + 0/25)*0. Suppose -c = 5*j - 6*j - 15, l = -4*j + 2*c - 60. Which is greater: -11 or j?
-11
Let m = -100 - -50. Let d = 51 + m. Let t = -1.6 + -1.6. Which is greater: d or t?
d
Let p = 22.0715 + -21.991. Which is bigger: 0.04 or p?
p
Let z be 824/36 - 1/(-9). Suppose -z = -n - 3*t, 5*t = -33*n + 29*n + 57. Suppose -3*d = -6*d + 21. Which is smaller: n or d?
d
Suppose 0 = -133*z + 29*z + 113256. Which is smaller: 1090 or z?
z
Let z be -2*(4792/(-16) - 0). Suppose 603*b = z*b. Which is bigger: b or 2/731?
2/731
Let m = 52 + -52.29. Let b = 69.2 + -74.49. Let p = b - m. Which is smaller: p or -0.2?
p
Suppose 16*m + 1660 = 21*m. Let x = m + -334. Which is greater: 26 or x?
26
Suppose 2*i = 5*s + 10842, -5*i = s + 1188 + 1002. Is s >= -2174?
True
Let i(p) = 18*p**2 + p - 9. Let d be i(7). Let n = 66879/76 - d. Which is bigger: n or 1?
1
Let v = -60 - -59. Suppose 0 = 6*h - 11*h - 35. Let x be 5/h + 4/(-14). Is x less than or equal to v?
True
Suppose -6*v + 2*v + 23*v + 608 = 0. Is -38 at most v?
True
Suppose 13 = 14*s - 15. Suppose -5*y + 4*i = -15, 5*y + i = s*i. Do y and -1/16 have different values?
True
Let n = -68 - -155. Let p be -1 + -5 - (-524)/n. Which is greater: p or -1?
p
Let n = 3 + -3.06. Let a be 6/(-28)*24/90. Are n and a non-equal?
True
Let l = 67357/2980 + -142/149. Which is bigger: l or 21?
l
Su