Let d = 646239 - 202844. Let u = d + -278895637/629. Let v = u + 4/17. Is v > 0?
False
Let h be ((3 + 6 - 2) + -5)/(8/(-16)). Are -178/51 and h non-equal?
True
Let g be (-184)/210*(-1)/(-10). Let k = g - -1/25. Let f = -18843 - -18843. Do k and f have the same value?
False
Let a = -0.0838 - -0.0838. Is a != -232/3?
True
Suppose -2*j + j = -4*u - 11, 26 = -5*u + 3*j. Let d = -6 + 4. Does u = d?
False
Let t = 20 + 184. Let q = t + -200. Which is bigger: q or -9?
q
Let b be (1 - 33/(-9))*(-45 - 2835/(-54)). Let c(y) = y - 1. Let n(k) = k**2 + k - 3. Let u(h) = 2*c(h) + n(h). Let j be u(5). Are j and b equal?
True
Suppose 63*p - 48*p - 60825 = 0. Which is smaller: p or -1?
-1
Suppose -14*p + 12*p + 2 = 0. Let s = 36.39 + 312.61. Is s at most p?
False
Suppose -2177 = -12*t + 199. Let y be 20/3*t/(-165). Is -88/13 > y?
True
Let p(c) = -262*c - 1. Let i be p(1). Let t = -166 + i. Is -430 less than t?
True
Let d(t) = -t**3 + 279*t**2 - 2*t - 561*t**2 + 274*t**2 - 4. Let b be d(-6). Let m be 388/(-6) + 4/6. Is m < b?
False
Let f = -548 - -568. Are f and -60 equal?
False
Suppose u - 8 - 5 = 0. Suppose -4*h + 3*h - n = -12, -4*h + 3*n + u = 0. Suppose -m + 4*y = -16, -6 = m - 3*m - 5*y. Which is greater: m or h?
m
Suppose x - 18 = 5*p, -x + 6 = -12*p + 9*p. Which is smaller: -1126 or x?
-1126
Let w = 47/150 + 21803/150. Which is smaller: 145 or w?
145
Let s(k) = k**2 + 6*k - 7. Let x be s(-7). Suppose x = t - 35 + 38. Let z = t - -11. Are 8 and z nonequal?
False
Let m = 172 - 164. Let n be (-8)/(2/1)*66/m. Is -30 less than or equal to n?
False
Let l(q) = 901*q + 5829. Let m be l(0). Which is smaller: m or -2?
-2
Let f be -3*((-2)/(-8))/(-1). Let a = 0.0742563 - -7.1257437. Which is smaller: f or a?
f
Suppose 2304 = 69*i - 21*i. Which is greater: 1 or i?
i
Let u = -306 + 118. Let d = -189.1 - u. Which is smaller: -2 or d?
-2
Let d(r) = -9*r - 44. Let f(j) = 14*j + 66. Let x(a) = 8*d(a) + 5*f(a). Let n(q) = -8*q**3 - 6*q**2 + 6*q - 1. Let c be n(1). Let k be x(c). Is 0 bigger than k?
True
Let o = 43 + -39. Let m be o - (-18)/(-5) - (-457)/(-5). Let f = m - -207/2. Is 12 smaller than f?
True
Let f be (-1191)/(-108)*-2*48/72. Is -16 < f?
True
Let x be (-2)/(-8)*(-316)/6. Let p be (37 - 63 - -44)*4/(-6). Is p equal to x?
False
Let g = 267859/2 - 131200. Is g != 2731?
True
Let b(g) = g**3 + 2*g**2 - 2*g - 3. Let u be ((-28)/13 - (-16)/104)/2. Let a be b(u). Is -1/19 bigger than a?
False
Let d = -0.921 - 28.379. Let y = d - -29.2. Does y = 6/163?
False
Let l = 11477 + -11472. Is l less than or equal to -1264?
False
Let i be 5002/(-114) - (22 - 130/6). Which is smaller: -45 or i?
-45
Let z = 16 - 16.1. Let q be 0 - (-64)/28 - (-8)/(-28). Suppose -14 = 4*j - q. Which is greater: z or j?
z
Let q = -79345/250834833 - 2/85231. Which is smaller: q or 0?
q
Let t be 762/(-21) + (-14)/(-49). Let l(k) = k**2 + 44*k + 255. Let v be l(t). Which is smaller: v or -37?
-37
Let f be 12/(-210)*5 - 346*12/21. Which is bigger: f or -196?
-196
Suppose 4*r + 300 = -4*v, -139*r + 143*r = -5*v - 379. Is v equal to -93?
False
Suppose 59*d = 8*d - 24*d. Is d at least 9/128?
False
Let v(t) = -1 + 5*t**2 - 1512*t + 707*t + 751*t. Let w be v(11). Is w at most 4?
False
Let o = -3.743 + 3.8. Let j = o - -0.943. Let k = 111.8 + -113. Are k and j unequal?
True
Let y be ((-47)/(-2) + -2 + -4)*2. Let b be -87*5/(30/(-4)). Let u = y - b. Is u at most -25?
False
Let x be (5 - ((-2)/((-14)/63) - 4))/(-2). Which is smaller: 1/2746 or x?
x
Let f be (-28352)/(-94896) - ((-124)/(-36) - 3). Is -1 <= f?
True
Suppose -4*u = -7*u - 81. Suppose 57 = 2*r - 25. Suppose -12*m - 271 = r. Which is smaller: u or m?
u
Suppose 0 = 2*z + 2*h + 36, z + 0*z = 4*h - 28. Let g = z - -23. Let s = 107 - 105. Which is smaller: s or g?
s
Let v = 266 - 246.1. Let p = v - 20. Let b = 2.43 - 2.14. Which is greater: p or b?
b
Let r(m) = 7029*m**2 + 59*m - 20. Let b be r(-2). Is b bigger than 27978?
False
Let m = -3040 + 3048. Is -1/13 less than m?
True
Let v = 56243 - 1743296/31. Is v > 7?
True
Let f = 2068.1113 + -2068. Let g = f + -0.0013. Is -0.4 >= g?
False
Let v be (-3 - 0)/(36/(-16) - -3). Let x be v/(8/(-146)) - -4*1. Suppose -14*c = -3*c - x. Is 9 bigger than c?
True
Let m be 261/(-90) + (-2)/(-5). Let t = -32 - -31. Let u be (13/(-39))/(t - (-10)/9). Do m and u have different values?
True
Let x = -69 + 201. Let p = x + -132.035. Let w = 2.435 + p. Is -0.2 > w?
False
Let h = -18.82 - -11.82. Which is bigger: 200 or h?
200
Let h = 11/2655 - -3467/188505. Which is bigger: 0 or h?
h
Let h = 63 + -519. Let i = -21102 - -21101. Is h != i?
True
Let u = -9867 - -9871. Let y be (10/(-18))/((-8)/60). Is y not equal to u?
True
Suppose -6*m - 546 = 5*v - 3*m, -2*v = -3*m + 210. Let n(s) = -2*s**3 - 20*s**2 + 8*s - 27. Let a be n(-10). Which is smaller: v or a?
v
Suppose -4*g + 297 = -143. Suppose 5*v - d = 3854, 4*d + 3727 = 3*v + 1401. Suppose -10*f + 17*f - v = 0. Is g >= f?
True
Suppose -283 = 24*k + 293. Let y be (4*3)/(-3)*k/176. Is y > 14?
False
Let a = 55/24 - -133/120. Let v be 4 + 2 + (-1 - 1). Suppose 4*h - 13 = -v*j + 7, -3*h = -3*j - 9. Is h at least as big as a?
True
Let p = 38962 + -3078083/79. Which is smaller: -1 or p?
p
Let s = -795 - -796. Let m be (-14)/28*2*(1 - s). Which is bigger: m or -7/167?
m
Let s be 1 + 3 - (-204)/(-4). Suppose -70 + 25 = x - 3*f, 3*x = f - 143. Is s at most as big as x?
False
Let v = 0.326 + -0.144. Let j = -0.282 + v. Is j smaller than -459?
False
Suppose -5 = 5*y - 10. Let n = 10 - y. Let g(j) = j - 7. Let x be g(n). Does x = 10/17?
False
Let x = 30 + -51. Let h be -2 + 0 + (-54)/x. Suppose -20 = -5*t, c - 10*t + 15 = -6*t. Is h greater than or equal to c?
False
Suppose -5*m - 758 = -2*r, 341 - 925 = 4*m + 4*r. Let h = m + 8. Is h != -142?
False
Let k = 20010.1 - 20010. Are 86.56 and k equal?
False
Let t(n) = 164*n**3 + 3*n**2 + 3*n - 5. Let b be t(1). Let s = b + -659/4. Which is smaller: 55/3 or s?
s
Let q = 0.11473 - -5.88527. Is 551 at least q?
True
Let t be 0/(2 + -2 + -2). Let y = -23 - -22. Let n be (-2)/65 - (1 + y). Which is greater: n or t?
t
Suppose 92*s + 3 = 93*s, -4*s + 1128 = 4*p. Is p less than 279?
False
Let z(o) = 2*o - 11. Let q(n) = n - 12. Let j be q(11). Let m be ((-12)/2)/((-1)/j). Let g be z(m). Is g > -22?
False
Let t be (18/5)/((-9)/(-45)). Suppose -12*w = t + 30. Which is smaller: w or -7?
-7
Let g = -2699 + 2781. Are g and 69 nonequal?
True
Suppose 7*o - 64 = -9*o. Suppose -o*g + 30*p - 25*p = 11, -16 = -g - 5*p. Which is bigger: g or -2/261?
g
Let t be ((-81)/(-4))/((-27)/432). Let m = -335 - t. Which is smaller: -2 or m?
m
Suppose -13*j + 12 - 25 = 0. Let h be -92 - (-1 - (2 - j)). Let u = -86 - h. Which is smaller: -1 or u?
-1
Let c = -60.198 - -0.198. Let i = c - -59.93. Let k be 0 - -2 - 9/5. Is i at most as big as k?
True
Let p = 4180 - 4179.7. Which is smaller: p or 5/108?
5/108
Let i be (7 - 4/1) + 9. Let h be (-6)/(-4)*(3 + (-52)/i). Which is smaller: h or 3?
h
Let r = 142 - 143. Let l be r*(5 + -2) + -29. Which is smaller: l or -30?
l
Let r = -18 - -20. Let n = -40343 - -3103715/77. Let y = n + 254/7. Which is smaller: y or r?
y
Suppose 0 = 13*n + 2854 - 2828. Is n != 0.363?
True
Let w = -14738 - -14739. Is -6/4987 at least as big as w?
False
Let v = 94 - 89. Suppose -z = -4*s + v, -s = -3*s. Which is bigger: 3 or z?
3
Let k be 3 + 0 - (-21824)/(-165). Let q = k + 129. Let i = q + 18/55. Which is greater: 1 or i?
1
Suppose 4*a - 97 = -3*l - 30, 4*l - 106 = 3*a. Suppose l = -4*r + 25. Do 14/55 and r have different values?
True
Suppose 3*d = -3, d + 2*d + 3 = w. Is -86/61 less than or equal to w?
True
Let y(d) = d**3 - 6*d**2 - 27*d + 293. Let k be y(7). Is k less than 150?
False
Suppose -111*x + 1871 = 317. Is x < -2?
False
Let z = -81.8522 + -0.0478. Let f = 78 + z. Let h = 1.9 + f. Which is greater: -7/6 or h?
-7/6
Let c = 6.6283 - -0.1717. Which is greater: -1/5 or c?
c
Let c = 134/3 + -45. Let f = 19 - 13. Let s = f - 6.029. Is s >= c?
True
Let f = 351/380 + 21/76. Suppose 0 = 2*p - 19 - 21. Let b = p + -19. Is b < f?
True
Let l = 12 + -18. Let y = -396 - -395.932. Let f = -1.068 - y. Which is smaller: f or l?
l
Let z = 1.76 - 1.36. Which is smaller: 266 or z?
z
Let n(w) = -w - 61. Let x(i) = 4*i + 304. Let g(f) = -14*n(f) - 3*x(f). Let v