l
Let c = 2/559827 - -320967466/3918789. Let k = c - 580/7. Which is smaller: k or 0?
k
Let k be (-1344)/(-7 + -7) + -2. Is k less than or equal to 857/9?
True
Let o be 19/(-3*(6 + (-116)/12)). Which is smaller: o or 28?
o
Suppose -5*u - 3*b + 331 = 0, 2*u - 37 = 2*b + 105. Let h be (5 + u/(-12))*-3. Suppose -4*r + 55 = 5*z, 2*r + 8 = -h*z + 34. Which is bigger: r or 7?
r
Let j = -102.48 + 102. Let n = -0.02 + j. Let q = -6.5 + n. Which is greater: q or 0.03?
0.03
Suppose -4*k + 6*i + 24 = 0, -18*k + 21*k - 20 = 5*i. Which is smaller: 17/609 or k?
k
Let v be (13 - 3) + (-18)/3. Suppose q + 224 = -3*j + 5*q, 267 = -v*j - q. Is j not equal to -68?
False
Suppose 3*b = -3*j - 50 - 196, -2*b + 4*j = 152. Let f = b - -79. Let n = -22999/540 + 213/5. Which is greater: f or n?
n
Let b = -4349 - -4349. Is b less than or equal to 1/1002?
True
Let d = -49 + 49. Suppose d = -x + 4 - 15. Let r be x + (5 - 12/3). Do r and -43/4 have different values?
True
Suppose -52 = -2*l + 3*o - 0*o, -2*l = -5*o - 48. Is 28 bigger than l?
False
Let q = 1585 + -1741. Is q less than or equal to -155?
True
Let y(x) = -x**2 - 10*x - 13. Let n be y(-8). Let d = 2 - n. Let q be (-4 - d) + -1 + (7 - 3). Is q > -4/3?
True
Let s = -54 - -51.3. Let f = 2.6 + s. Let j = -40.02 - -0.02. Which is smaller: f or j?
j
Let j be 4/(-3) - -1 - (-227838)/(-207). Let p = j - -1081. Let y = -292 + 545/2. Is y != p?
True
Let l(t) = 36*t - 39. Let o be l(9). Let x = o + -289. Which is smaller: 12 or x?
x
Let j be ((-4940)/57)/20 - (-3 + -1)/(-2). Which is greater: -1/9 or j?
-1/9
Let p(x) = 6*x**2 + 21*x + 6. Let r be p(-5). Suppose 28 = -t - r. Which is greater: t or -83?
t
Let o = -5627.52 + 5608. Is o < 2?
True
Let p = -2/27 + -16/513. Suppose 2*w = -3*w + 5. Is w smaller than p?
False
Let f be (-8)/30 + 22882/(-255). Which is greater: f or -95?
f
Suppose 0*x - 5*t + 172 = 3*x, 122 = 3*x - 5*t. Let c = 11546 + -11525. Let g = x - c. Which is bigger: g or 26?
g
Suppose -b + 4*b = -16*b. Let l be -3*(2 + -178) + b/(-4). Let w be 12/l*(-40)/(-6). Does 0 = w?
False
Suppose 37*o + 26*o = 22*o + 697. Which is smaller: 26 or o?
o
Let g(o) = 64*o - 1306. Let d be g(27). Which is smaller: 418 or d?
418
Let y = 10275 + -174670/17. Is y at most as big as 15?
True
Suppose 3*p - 2*o = 7, -3*p = -4*o - 28 + 11. Which is greater: 4/6491 or p?
4/6491
Let o be (419/(-16))/(216/(-336)*(-7)/(-6)). Is o less than 36?
True
Suppose -3289 = 5*n + 3*f, -2*f + 4*f = 2*n + 1322. Let l be 3/(12/8) - n/(-12). Let u = l + 53. Is u < 2?
True
Let y be (-16)/(-360)*(-267)/(-28). Let b = y + -1/42. Let v = 113/2 + -801/14. Is v at least b?
False
Let t be 4*351503/(-6)*(-2919)/124822. Let o = -5480 + t. Which is smaller: -1 or o?
-1
Let s = -923/2 + 371. Let x = s - -92. Which is greater: -1/2 or x?
x
Let g be (-2)/(3*8/(-23508)) - (7 - 0). Which is bigger: g or 1953?
1953
Suppose i + 3*i = 104. Let z(r) = 3*r + 15. Let y = -143 - -147. Let h be z(y). Is i less than h?
True
Let n(x) = 4620*x**2 + 49*x + 52. Let v be n(-1). Which is bigger: v or 4624?
4624
Suppose 1301 = 3*c - m, 4*c - 2*m - 5*m = 1763. Which is smaller: c or 431?
431
Let n = 4486.8 - 4487. Suppose 3*i - 8 = 10. Suppose 12 + i = 3*p. Which is greater: n or p?
p
Let v(r) = -3*r**2 + 24*r - 69. Let a be v(5). Let n(t) = -t**2 - 17*t + 82. Let d be n(a). Is -2 <= d?
False
Let k(a) = 5*a + 26. Let q be k(-9). Let w = -110 - q. Let d = -68 - w. Is 24 greater than d?
True
Let o = 18.6 - 20.865. Let h = -0.265 - o. Which is smaller: h or 83?
h
Suppose -24 = -3*f + 3*u, 2*u + 19 = 4*f - 3. Suppose f*z = v + 635, z - 7*v + 12*v - 185 = 0. Which is smaller: z or 209?
209
Let j be (-169)/377*-29 + (-1548)/118. Is j at most -0.1?
True
Let b = -14491.98 - -14492. Is -0.081 >= b?
False
Suppose -32*u + 18*u - 97*u = -684759. Is 6169 <= u?
True
Let y = 600 - 9002/15. Is 24 < y?
False
Let y = 601/245 - 6/245. Suppose -4*b - 3*a - 46 = -7, b + 5*a = -14. Let f = 12 + b. Which is smaller: y or f?
y
Let n be (-40)/24*7/45. Suppose 0 = 277*k + 331 - 54. Which is smaller: n or k?
k
Let q = 7838385/199 - 39389. Which is smaller: 0 or q?
q
Suppose -6*w + 2*w = 5*x - 26, 0 = 3*w - 3*x - 6. Suppose 9 = -j + 18. Let c be (j/(-12) - -1) + (-5)/(-28). Is c less than w?
True
Let x = 63.3 - 23.5. Let c = -40 + x. Which is smaller: 14 or c?
c
Let v be (-2351391)/(-2132) + (-4)/26. Is v bigger than 1102?
True
Let w = 444.5 + -431. Let o = 206.5 + w. Which is greater: -2 or o?
o
Let i = 13804 - 13804.1. Let m = 140.939 - 141. Are i and m equal?
False
Suppose 0 = -3*j - 4*v - 9, 4*j + 2 = -4*v - 14. Which is smaller: j or -485/77?
j
Let a = -8111 - -316288/39. Which is greater: 0 or a?
0
Suppose -j = -4*j - 6. Let d be (-171)/(-36) + (-14 - -7) + 1. Which is smaller: j or d?
j
Let m = 0.4667 - 0.1707. Is m > -9?
True
Let n = 15263.9624 + -15264. Which is bigger: -6 or n?
n
Let x be 3 + ((-11609)/(-141))/((-1)/(-3)). Which is smaller: x or 224?
224
Let m = -19066 + 19070. Let a be (2/(-2))/(-1) - -3. Let o be ((-12)/(-8))/((-2)/a). Do o and m have the same value?
False
Let y be (8 + -18)*(1 - 0)*-1. Let s be -3 + (y - 6) + 0. Do 1/39 and s have the same value?
False
Suppose 4*s + 0*s + 16 = 0. Let o = -1773427/15 - -118225. Which is bigger: s or o?
o
Let r = -48.43 - -112.43. Is r bigger than -34?
True
Let f = -327 - -349. Suppose 6*i - f - 38 = 0. Which is smaller: 138/13 or i?
i
Suppose -120 = 12*a - 16*a. Let v = -2 + a. Let p be 55/2*v/(-35). Which is greater: p or 1?
1
Let h be (90/(-25))/((-12)/30) + -9. Do h and 1/2486 have the same value?
False
Let i = -5015 - -5014.96. Is i at least -147?
True
Suppose 4*o - 8672 + 17928 = 0. Which is smaller: -2315 or o?
-2315
Let l(z) = 5*z. Let o be l(-1). Let q = 1016 + -1026. Let y be 1 - -7 - o/q*4. Which is smaller: y or 9?
y
Let i = 20167/6 - 20279/6. Suppose -91 = 4*g + 3*h, -g + 3*h + 0 - 4 = 0. Does i = g?
False
Let j = -0.5928 + -33.4072. Is j greater than 5/13?
False
Suppose -95 = -5*w - 3*v - 22, -53 = -4*w + 3*v. Is w smaller than 51/4?
False
Suppose 0 = 27*s - 43*s - 45*s. Is -1/533 not equal to s?
True
Let k be (-1 + 4/6)*3. Suppose 3*n = -3*d - 42, -3*n - 8 = 5*d + 44. Let q be n/6*(-4 + (-790)/(-195)). Is k <= q?
True
Let w(c) = -c + 14. Let a be w(6). Let z = -378 - -371. Let p be (z/(-70))/(2/144). Is a equal to p?
False
Suppose 10*a = 2 + 18. Let k be (20/16)/(a/64). Is 40 smaller than k?
False
Let m = 3 - 3. Let b = -54 + 62. Let l = b - -4. Which is smaller: m or l?
m
Let a be (-6)/(-27) - -16*(-14)/36. Let m be (-8)/6*51/(-187)*-22. Is m > a?
False
Let u(o) = -14*o**2 - 31*o - 1. Let c(g) = 2*g**2 + 36*g + 32. Let r be c(-17). Let h be u(r). Which is greater: -9 or h?
h
Suppose 5*c = 5, 392 = 2*d - 5*c + c. Is d greater than or equal to 4?
True
Let i = -5315 - -5406. Which is bigger: i or -35?
i
Let m = 182 - 298. Let l be (-3)/m*(-17)/(408/(-16)). Which is greater: -1 or l?
l
Let m(u) = 12*u**2 + 52*u + 4. Let x be m(-4). Suppose 0 = 5*a - 170 - 55. Let q be (x/a)/(114/9). Which is smaller: q or 0?
q
Let p = 28354 + -54999/2. Are p and -2 non-equal?
True
Suppose -3*z = -3*d - 15, 21*z + 2*d = 20*z + 5. Suppose 0 = z*j - 2*q - 3*q + 350, q + 131 = -2*j. Are -69 and j non-equal?
True
Let z(o) = 3*o - 19. Let d be z(8). Let a be (22/(-50))/(11/(-110)). Is d < a?
False
Suppose 63317 = 31*x - 17252. Is 2598 > x?
False
Let y(v) = v**3 - 2*v**2 - 5*v - 15. Let z be y(0). Let m be 174/(-270) + (-3)/z + 0. Are m and 1/6 nonequal?
True
Suppose 25*h - 13*h = -2580. Let p = -373 - h. Which is greater: -157 or p?
-157
Let q(n) = -5*n + 90. Suppose -5*o - 4*y = -122, 0 = -0*y - 3*y - 6. Let p be q(o). Which is bigger: -193/5 or p?
-193/5
Let n = -1/1122 + 4493/5610. Suppose 3*i - 12 = 0, -g - 5*i + 8 = -13. Which is bigger: n or g?
g
Suppose 3 + 0 = -3*r, -2*i + 8 = 4*r. Let j(c) = -4*c + 10. Let o be j(2). Suppose 0 = o*t + 2 - 6. Is t > i?
False
Suppose u + 17 = 5*w, 2*u + u - w + 9 = 0. Let l be 3/((-9)/4)*u/(-276). Is 1 >= l?
True
Let r = -64.5 - -64.5. Which is greater: r or -10?
r
Let q(l) = l**3 - 10*l**2 + 32*l + 7. Let s be q(8). Is s greater than 133?
True
Let t = -11972 - -11790. Is t equal to -173?
False
Let d be 337147/(-1830) - (-8)/(-5). Which is bigger: d or -186?
d
Suppose -8 = 4*o - 4. Let g(w) = w**3 + 23*w**2 + 3. Le