ose 139 = 2*r + 4*i - 7*i, -i = 1. Which is smaller: x or r?
x
Let j be -22 - (15 - 24) - -38. Which is greater: 3 or j?
j
Let j = 0.8 - -0.2. Let l = -417457 - -417437.8. Is j < l?
False
Let q = 1470 + -2050. Is -1/4 at most as big as q?
False
Suppose 44*g = 13*g + 33325. Which is smaller: g or 1074?
1074
Let d(a) = a**2 + 7*a + 5. Let c be d(-5). Suppose -2*p + 11 = -53. Let z = p + -39. Do c and z have the same value?
False
Let l(n) = 8*n**2 - 228*n + 113. Let t be l(28). Let v(h) be the first derivative of h**3/3 - 7*h**2/2 + 2*h - 4. Let c be v(7). Is t not equal to c?
True
Suppose 0 = 2*g - 4*y - 1644, -35*y + 36*y = 3*g - 2446. Is g greater than or equal to 825?
False
Suppose 4*c - 3*a - 20 - 8 = 0, -2*c - 2*a = 0. Suppose w - c*w + 62 = -5*p, 0 = 3*p + 12. Let u be (-9)/12 - w/(-8). Is 3/4 at most as big as u?
True
Let q = 8 + 2. Let s = -49.3 + -475.6. Let d = -525 - s. Do d and q have different values?
True
Let f(n) = -200*n + 1. Let o be f(0). Which is smaller: 1/3389 or o?
1/3389
Let x = 190/29 + -5066/667. Which is bigger: 0 or x?
0
Suppose 0 = 2*u - i - 14, 72568*u - 5*i = 72566*u + 70. Let p = 72937443 - 8023179121/110. Let x = p - -549. Which is bigger: u or x?
u
Let b(x) = -x**3 - 12*x**2 - x - 8. Suppose 11*s - 46 + 178 = 0. Let a be b(s). Suppose a*q + 54 = 374. Is q at least 81?
False
Let z be 2*((-31)/(-8) + -4)*16011/108. Is -37 at least as big as z?
True
Let d = 609 - 712. Let f = d + 116. Suppose 0 = -6*b + 2*b + 48. Which is smaller: f or b?
b
Let a(k) = 22*k**2 - 6*k + 9. Let i be a(-9). Let v = -57189/31 + i. Suppose 2*t - 2*y = -0*t + 2, -2*y - 2 = 3*t. Which is smaller: t or v?
t
Let h = -34 - 58. Let f = 82 + h. Suppose 0 = -6*i + 11*i + 55. Which is smaller: f or i?
i
Let w(z) = 5*z + 43. Let o be w(23). Let u = 190 - o. Is u at least 27?
True
Let v = 663 - 540. Suppose 0 = -127*r + v*r + 156. Let y(g) = 19*g. Let t be y(2). Which is bigger: t or r?
r
Let c = 219636268/105 + -2091845. Let x = c - -71. Which is bigger: 1 or x?
1
Let x = -0.652 + 0.202. Let n = 0.35 + x. Does -1/10 = n?
True
Let w(p) = 89*p - 889. Let b be w(10). Is -10/81 equal to b?
False
Let l(h) be the first derivative of 10*h**3/3 - 3*h**2/2 - 4*h - 20. Let p be l(-1). Is p < 3?
False
Let z = 1/300 - 259/17700. Let f = z + -584/531. Which is smaller: -2 or f?
-2
Suppose 396 - 212 = 4*c. Suppose -3*i - 70 = -c. Let q be 16/3 + -5 + i/6. Which is smaller: 2/39 or q?
q
Let p = -2197/6 + 1100/3. Let t = 5.9 - 6. Let f = t - 0. Is f < p?
True
Let d(q) = -82*q**2 + 5656*q - 98. Let x be d(69). Which is bigger: -265 or x?
x
Suppose -3*g = 4*s - 27, 2*s + 4 = 4*g - 2*g. Suppose 5*p - l = -410, 8*l + 410 = -g*p + 4*l. Do p and -82 have the same value?
True
Let j = -14.043 - 1639.057. Let h = 1653 + j. Let m = -3 + -1. Which is smaller: h or m?
m
Suppose -o = -5*o + 20160. Suppose -o = 3*n + 2*n. Let r = 59475/59 + n. Is -1 at least as big as r?
False
Suppose -1315 = 3*a + 5*r, a = 2*a + 3*r + 437. Let k be (-49556)/112 + (-4)/14. Let s = a - k. Is 2 less than or equal to s?
True
Suppose 2*c + 0 = 8. Suppose 0 = -c*n + 18 + 70. Suppose 2*x - 56 + 10 = 0. Is x equal to n?
False
Let v = -297/148004 - -3/454. Is v > 0?
True
Let w be ((-132)/22 - 31) + 48/4. Is -13 greater than or equal to w?
True
Let r be (-4 - -3) + 4 - 7. Let w(o) = o**3 + 4*o**2 - 4*o - 5. Let x be w(r). Is 11 at least x?
True
Let w = 101 + -97. Let y be 35/(-40)*6 - w/(-1). Are y and -1/12 non-equal?
True
Let x = 49 + -25. Let r = -22.4 - 3.6. Let s = r + x. Which is smaller: 14 or s?
s
Let l be ((-2)/1)/(1/(-1220)) - 5. Suppose -3*k - 3*h - 97 = 1376, -5*k - h = l. Which is bigger: -485 or k?
-485
Let c = 4128 - 4706. Which is greater: 1 or c?
1
Let l be (-67)/(-5) - (-30)/(-75). Suppose 2*m = 7*m - 4*s - l, -m - 5*s = -20. Suppose 0*j + 10 = -2*j, -20 = -m*t + 4*j. Which is bigger: t or 2/47?
2/47
Suppose -31*x = 1219 - 134. Which is smaller: -43 or x?
-43
Let v = 17255 + -17254. Is -12/5803 not equal to v?
True
Let x(t) = 3*t**2 - 16*t + 16. Let h be x(4). Suppose h = 2*l - d + 12, 0 = -6*l + 5*l + 2*d. Which is bigger: l or -9?
l
Suppose 3*u + 141 = 156. Suppose -3*d - 3 = u*o + 8, 4*d = 5*o - 3. Is o at most 2/43?
True
Let a = 19155 + -19109. Which is greater: 77 or a?
77
Let g(b) = -b**3 + 4*b**2 + b + 5. Let a be g(5). Let i be (-30)/(-8) - (-1)/(12/(-9)). Let t be 0/(i*9/(-27)). Which is greater: t or a?
t
Let d(o) = -o**2 + o + 4. Let z be d(2). Suppose 0 = -5*j - 10, 1 = y - 6*j + z*j. Suppose 40 + 136 = -22*q. Is q <= y?
True
Suppose 4*w + 3 = x - 6*x, 4*x = -2*w - 6. Suppose w*z = -16 - 32. Let a(b) = -2*b**3 + 2*b - 4. Let d be a(2). Is z at least as big as d?
True
Let g = 714 + -712. Suppose -3*p + 42 = 2*c - 12, -3*c + 41 = 2*p. Which is bigger: p or g?
p
Suppose -5*w + a = -6, -19*a = -w - 14*a + 6. Suppose -3*p - 3*l + 10 = w, -p = 4*l - 6. Do -3 and p have the same value?
False
Let c(p) = 9*p - 75 + 0*p - 5*p + 0*p. Let n be c(19). Is n > 8/39?
True
Suppose 3*l + 8*l = 22. Suppose 262 = l*s - 4*t, -5*t = 5*s - 3*t - 703. Let c = 139 - s. Does 7/11 = c?
False
Let h be 1452/605*2/(-4)*15/(-26349). Which is greater: h or 0?
h
Suppose 2*a + 8 = 0, 16 = 4*t - 0*a - 3*a. Let v(w) = -29*w + t + 57*w - 27*w + w**3 - 2*w**2. Let o be v(1). Which is smaller: o or 1/15?
1/15
Let k = 1580 - 1579. Suppose 2*f - 17 = -1. Let r be 49/(-84) + 2/f. Which is bigger: r or k?
k
Let i be 1/((1 - -4)/25). Suppose -3*w + 2*w = i*c + 826, 5*w = 20. Let g be c/(-120) - (-4)/(-3). Do g and -1 have different values?
True
Suppose 69*v = 23*v - 598. Let j = -3.2 - -6.2. Is j less than v?
False
Let k(d) = 193*d + 1129. Let w be k(-6). Let z(f) = 5*f + 1. Let x be z(-6). Let m = 1 + x. Is w at least as big as m?
False
Let q = 25.66 + -11.66. Which is smaller: q or -20.1?
-20.1
Suppose 0 = -19*a - 27*a + 26726. Let j = a - 466. Is 115 bigger than j?
False
Let n(l) = -l**2 + 17*l - 73. Let g be n(9). Is -1/11593 less than g?
False
Let p = -271.9 + 6.9. Let v = 261.7 + p. Does -4 = v?
False
Let g = -12411 - -11307. Are g and -1106 unequal?
True
Suppose -5*c = -10, 2*i + 3*i = 3*c - 6. Suppose i = 4*y - 7 + 3. Which is smaller: y or 3/11?
3/11
Let v = -54.999 + -0.001. Let n = -56 - v. Let m = 1.44 + n. Which is smaller: m or 1?
m
Let x be (-7312)/64 - 2/(-8). Let c be x/35 - (-13)/((-130)/(-4)). Which is bigger: -2 or c?
-2
Let w(c) = c**2 + 12*c + 33. Let u be w(-3). Suppose -696 = -2*s - u*s. Which is smaller: 86 or s?
86
Let q be (-792)/(-57) + (-2)/(-19). Suppose 0 = 2*u - 4*k - q, -6*u + 4*u + 3*k = -14. Let v = -2 + u. Is 5 at least as big as v?
True
Let v = -1411731 - -670572756/475. Let b = v + -24/25. Which is bigger: b or 0?
b
Let o(f) = -8*f**2 + 27*f - 11. Let w be o(3). Which is smaller: -57/79 or w?
w
Let c = -640 + 706. Are c and 389/6 nonequal?
True
Let w = -55403 + 41376. Is w not equal to -0.1?
True
Suppose -4 = -d - 12. Let f be (-195)/52*d/6. Suppose 0*q + 3*q - s = -7, f*q = 4*s - 21. Is -1 >= q?
True
Let l = 122.65 - 120. Let d = l - 3. Let k = d + -7.65. Is 4 less than k?
False
Suppose -2*a + 5 + 5 = 4*o, -25 = -2*a - o. Let g = a + -5. Suppose 7*q = -27*q + 374. Is g < q?
True
Let j = 15 - -142. Suppose -3*c - 4*a - j = 196, a = 5*c + 619. Is -123 at most as big as c?
True
Let t be 16/3468*(1 + -37)/(-2). Do 0 and t have different values?
True
Let r(h) = -10 + 11*h - 4*h**2 + h**3 - 2*h**2 - 5*h**2. Let w be (-4)/(-8)*(21 - (1 + 0)). Let y be r(w). Is y < 1/83?
True
Let c be (-3 - (5 + -6 + 2)) + 160. Let g = c + -152. Is 10/3 greater than or equal to g?
False
Let o(h) be the first derivative of h**4/4 - h**3 - h**2 - 5*h + 11. Let g be o(4). Let z be ((-14)/g)/(7/(315/12)). Which is smaller: -18 or z?
-18
Suppose -13*k = 2*k + 7860. Let i be (6 - -3)/45 - k/(-70). Which is bigger: -7 or i?
-7
Let y be 2*(-14)/168*21*(-532)/11. Are y and 168 unequal?
True
Let j be (-50406)/94092*28 - -15. Is j <= 0?
False
Let x be -1 + -1 + (-2 - -14). Suppose 16*w - 95 - 102 = 11. Which is smaller: x or w?
x
Let i(t) = t**2 - 18*t + 69. Let w be i(13). Is 90/29 bigger than w?
False
Let c be (81/(-108))/(1/832*-1). Let x be (-7)/(-1) - 4365/c. Are -1 and x unequal?
True
Let s(y) = 4*y + 442. Let o be s(-111). Is 36.69 greater than o?
True
Let u = -197 + 195. Let d be ((-3)/(-6))/((2/u)/2).