42*y + 34*y. Is 23 != y?
True
Suppose -2*i - 3*i - 20 = 0, -2*r = -i + 4. Let s(w) = w**3 - 18*w - 6. Let p be s(r). Which is bigger: p or 20/11?
p
Suppose 39 = 5*z + s, -17 = -z + 3*s - 6. Suppose d + 2*d - z = 2*m, -3*m + 4*d = 11. Is m less than -14/127?
True
Let o be (4/(-36))/((-40)/(-848838)). Let t = o - -2358. Let j = t + -407/60. Which is greater: -7 or j?
j
Let u be ((-608)/9)/4 + -6. Let b = u - -3499/153. Which is greater: 0 or b?
0
Let z = -7359.722 - -7366. Let u = z - 0.278. Which is greater: 0.1 or u?
u
Let b = -262 + 308. Let w = b - 43. Which is bigger: 37/9 or w?
37/9
Suppose 3*v = 3*j + j - 11, 3*j + 4*v = 27. Suppose -4*o + 378 = j*o. Let f = o + -38. Which is smaller: 7 or f?
f
Let p = 13482 - 13124. Which is smaller: p or -19?
-19
Suppose 13*f = 4*a + 20*f - 337, 0 = -2*f - 10. Is a smaller than 89?
False
Let p(x) = 26*x + 213. Let f be p(-12). Suppose 3*r + 5*l = -285, -2*r - 135 = 4*l + 53. Which is greater: f or r?
f
Let f = 14253/36581 - 45/157. Which is greater: 1 or f?
1
Let w = 7818629/9 - 869691. Which is bigger: w or -955?
w
Let l = -101 - -102. Let d = -16989 + 696661/41. Let h = d - 778/615. Do h and l have different values?
True
Let u = -39 + 42. Suppose -4*v = 2*r - 1744, u*v - 5*r - 630 = 704. Let d be (1/5)/(v/87 - 5). Do d and 7 have different values?
True
Let x = 2165 + -2165. Is x <= 2/3955?
True
Let y = 6095 + -6095. Which is greater: 31/30 or y?
31/30
Let j = -15484 - -11632. Is -3852 bigger than j?
False
Let p = 22726 - 840764/37. Which is bigger: 3 or p?
3
Suppose n + 3*n - 10 = -5*l, 10 = 5*l + 5*n. Let s be -15*l*(-3)/(-9). Let v be (64/s)/(-1 + (-8)/10). Is v < 4?
True
Let u(b) = -2*b**3 - 26*b**2 - 67*b - 254. Let x be u(-11). Is x less than -207/164?
False
Let p = -0.056 + 127.056. Let i = 157 - p. Which is smaller: -1 or i?
-1
Let b(v) = v**3 + 6*v**2 - 6*v - 3. Let j be b(-7). Suppose 35*d = 33*d - 104. Let w = -63 - d. Is w less than j?
True
Let x be ((-3)/(-2) - 2)/(26/(-1404)*-27). Which is smaller: 15/71 or x?
x
Let d = 14 - -25. Let f be (-6)/d - (-167)/(-13). Let z(q) = -5*q - 20. Let x be z(f). Is x at least 44?
True
Let y(j) = -7*j**2 + 8*j + 4. Let h = -70 + 87. Let z(b) = 20*b**2 - 23*b - 12. Let q(d) = h*y(d) + 6*z(d). Let p be q(3). Which is smaller: 1/26 or p?
p
Let l be (-278628)/248 + (-1)/(-2). Which is greater: -1119 or l?
-1119
Suppose 0 = -21*f - 9*f + f + 29. Is f less than or equal to 1/243?
False
Let l(v) = -v**3 + 18*v**2 + 9*v + 21. Let q = 77 - 58. Let s be l(q). Let g = s + 673/4. Which is bigger: g or 2/25?
2/25
Suppose -85 = 3*f - 4*q, -f + 5*q = -39 + 49. Is f equal to -36?
False
Let t(m) = 53*m - 2437. Let y be t(46). Which is greater: y or -2/15653?
y
Let v(f) = 21*f - 62. Let b be v(3). Let c be -21 + (-2 - (b - 6)). Which is bigger: -6 or c?
-6
Let o = 5173 + -5258. Let a = -98 + 12. Is a greater than o?
False
Suppose 0 = 1267*j - 1260*j + 3458. Is -495 greater than or equal to j?
False
Suppose 44 = -i - 392. Let g be (0 - (-1316)/i) + 3 + 0. Suppose -2*f = -14 + 12. Which is bigger: g or f?
f
Suppose -2*k - 5*j = -0*k - 39, 4*k - 60 = -4*j. Suppose 7*u - 51 = k. Suppose -u*w + 4*w = 0. Which is bigger: w or 1/4?
1/4
Let i = -12914331/127 - -101687. Let u = -25428/38989 - i. Is -1 smaller than u?
True
Let u = 4861 + -4838. Which is smaller: 65/3 or u?
65/3
Let q(b) be the third derivative of -11*b**5/60 + b**4/6 + b**3/3 - 2*b**2 - 12. Let y be q(-2). Is y >= -54?
True
Suppose -117 = 4*h - 13. Let c = 58 - 48. Suppose t + c = 2*g + g, 5*g - 25 = 2*t. Is h at least as big as t?
False
Let z = -17461 - -17465. Which is greater: 334/87 or z?
z
Suppose 5*d - 11*d + 13 = 7*d. Which is smaller: d or 1/1953?
1/1953
Let s = -263 - -584. Let m = -856 + s. Is m at most -535?
True
Let w(m) be the first derivative of -7*m**2/2 - 3*m + 21. Let a be w(-1). Let b be (a + -1 - 1)*4/(-8). Which is bigger: 1/37 or b?
1/37
Let x(g) = g**2 + 21*g + 150. Let o(z) = -3*z**2 - 40*z - 301. Let i(f) = -2*o(f) - 5*x(f). Let l be i(28). Is -66 <= l?
True
Suppose -4*a + 3*x - 86 = 0, -125 = 5*a - 359*x + 364*x. Is -71/3 > a?
False
Suppose -2*t - 3*u + 300 = -u, -435 = -3*t + 2*u. Let n be 9/(-21) + 14/t - 0. Is 0 >= n?
True
Suppose 32*x - 149280 = 21*x + 31*x. Which is smaller: -7465 or x?
-7465
Let j = -2.1 + 2.2. Let l = -0.107 + -50.893. Let k = l - -53.9. Which is smaller: k or j?
j
Let v be ((-303)/(-252) - (-22)/(-77))*(-4578)/28. Which is smaller: v or -150?
-150
Suppose 4*k = -5*l - 14 - 5, 2*k + 2*l + 8 = 0. Let n = 57 - 78. Let q be (2/(-13))/(k - n/15). Which is greater: q or 0?
0
Suppose -41*g = -43*g + 5*p + 23, -2 = 2*p. Suppose -586 - 566 = g*m. Is m equal to -129?
False
Suppose -17*x - 54 = -71*x. Let s = 31021/73 - 425. Is s > x?
False
Let w(h) = 9*h**2 - 171*h + 2. Let z be w(19). Suppose -250 = -2*f + z*g, -4*g - 39 - 77 = -f. Is 124 > f?
False
Let v be (-2)/((-4)/(-9)) - 196/(-49). Which is bigger: v or 51/134?
51/134
Let a be ((-450)/(-35))/15*(-21)/(-2). Are a and 201 equal?
False
Let h = -14 + 18.4. Let a = 36.6 - 40. Let k = a + h. Which is greater: 4 or k?
4
Suppose 44*r + 15 = 43*r. Let y = r - -16. Is 1/42 greater than y?
False
Let i be (-204)/(-3) + (-1 - -3). Let m = -23456 - -23525. Which is bigger: i or m?
i
Let z = -1.32 - -26.22. Let t = 25 - z. Let r = -0.307 + 0.26. Which is greater: t or r?
t
Let m(y) = y**3 + 13*y**2 - 95*y + 307. Let u be m(-19). Suppose f - 53 = 2*f. Is f greater than or equal to u?
True
Let y(v) = v**2 + 58*v - 1882. Let l be y(27). Are l and -1.8 unequal?
True
Let b = 5/312 + 10277/59592. Does 0 = b?
False
Let o be (-10)/(-4) + -2 - (-245)/(-42). Let v be 14/5 - 4/5. Suppose v*c = p + 6, -c + 4 = 3*c. Is o greater than p?
False
Let k(t) = -2*t**3 - 70*t**2 - 249*t - 41. Let x be k(-31). Suppose 0 = 2*b + 5*m + 60, b + 4*m = -0*m - 30. Let g = 20 + b. Is g less than x?
False
Let k = -351 - -350. Let h be (4 + k)*30/(-5250). Which is smaller: h or 0?
h
Let o be 6 - (-56 - 8) - -2. Let n be 7 - (0 + 680/o). Which is smaller: n or -0.3?
n
Suppose 1 = 2*n - 23. Suppose -n*u + 37 = 1. Let o be (-3)/u*(-1)/67. Is 1 at least as big as o?
True
Suppose -5*l = 3*i - 20, -3*l + 12 = 3*i - 6. Let k = 661/32 + -30689/416. Let c = 53 + k. Which is bigger: l or c?
l
Suppose 0 = 5*q + 3*z - 1169, 0*q - 5*q + 5*z = -1145. Suppose v = -3*v - q. Are -56 and v nonequal?
True
Let i(q) = -157*q**2 - 43*q + 306. Let o be i(6). Which is smaller: -5603 or o?
o
Let g = 429 + -427.86. Let b(v) = -18*v + 128. Let p be b(7). Which is smaller: p or g?
g
Let s = 34 + -38. Let k be (1 - 1) + 50 - s. Suppose -22 = -4*i - k. Which is smaller: i or -37/4?
-37/4
Let m be (-11 - (-36)/8)/(1/(-2)). Suppose -5*n = 4*j + 10, 15*n = -4*j + m*n - 4. Is -3/175 greater than j?
False
Let j = -5585 + 2624. Let y = -169664167457/57313880 + 3/3016520. Let v = y - j. Which is bigger: 2 or v?
2
Let p(g) = 33*g - 15. Let h be p(4). Let y = 0.103 + -0.003. Which is smaller: h or y?
y
Let p = -7.9 - 2.1. Let c be (5/(-30))/(((-21)/6)/7). Do p and c have the same value?
False
Suppose c - 5*c = -23260. Suppose 16*m = -c + 1943. Which is smaller: 1/3 or m?
m
Let v = -2/2483 - 4884/101803. Which is greater: 199 or v?
199
Let o be 2*12/3*20. Suppose -o + 164 = u. Let b = -8 + 3. Is b less than or equal to u?
True
Let i = 3462 + -3462.0258. Is -2/3 at most i?
True
Suppose 104446*j = 104435*j - 23452. Which is smaller: -2135 or j?
-2135
Suppose 0 = 28*n - 21*n + 616. Let o = n - -32. Are o and -57 equal?
False
Suppose 0 = 265*b + 382955 + 94310. Is 0.1 > b?
True
Let o be (-5 - (-49)/7)*2/2. Suppose -3*a = o*l + 2*l + 80, 81 = -5*l + a. Which is greater: -15 or l?
-15
Let s = 352 + -357. Let k(a) = -50*a - 269. Let r be k(s). Is -182/9 at most as big as r?
True
Let x(y) = y + 15. Let a be x(-15). Suppose 10 = 5*m - a. Suppose -m = 6*r + 4. Which is smaller: -3.1 or r?
-3.1
Let o = -2610 - -2607. Which is smaller: o or -144/43?
-144/43
Suppose 14*m = -w + 12*m - 1, 21 = 5*w - 3*m. Let k(o) = -1084*o**2 + 1. Let b be k(-1). Let c = -11889/11 - b. Which is smaller: c or w?
c
Let m = 126823/102 - 3730/3. Which is smaller: 0.04 or m?
m
Let r be (6630/153)/((-2)/6). Let y = 126 + r. Is y > 0.01?
False
Let d = 0.15 - -9.85. Suppose 0 = 4*s - 0*c + 5*c - 119, 2*c - 32 = -s. Let f = -29 + s. Whic