ss than or equal to j?
True
Suppose 3326*l - 3315*l = 126522. Is -2/7 greater than l?
False
Let w = 2776 - 11103/4. Is 3.8 at most w?
False
Let t be (-195708)/(-522) - 6/(-9). Let l = t - 376. Suppose -10 = 4*h + 3*n, -5*h = n - 15 + 22. Is l less than h?
False
Let c(i) = -14*i + 4. Let u be c(1). Let h(o) = 4*o + 39. Let g be h(u). Let y be g + 1 + 4 + -2 + -3. Which is smaller: y or -7/22?
y
Suppose 7*w - 4*w = 5*y - 70, -5*w = 5*y + 170. Let t(p) = p**2 - 45*p - 92. Let n be t(47). Which is smaller: w or n?
w
Suppose 13*w - 16*w = -45. Suppose w*m - 17*m = 6. Let k be 0/(-2) + m + 0 + 10. Which is smaller: 10 or k?
k
Let m = -0.28 + 0.86. Let d = 0.17 - m. Let x = d - -0.55. Is -3 not equal to x?
True
Let x = 73 + -70. Suppose 0 = -x*p + 12 - 9. Let c be (-7)/(-6) + (-22 - -21). Is c < p?
True
Let s(y) be the third derivative of y**6/120 + y**5/60 - y**4/6 - 5*y**3/6 + 34*y**2. Let n be s(-1). Is n >= 1/13?
False
Let b be (-4 - -34)*(-3)/((-9)/3). Suppose -36 = 4*x + 2*l, 5*x + 4*l + b = -12. Let u = -8.7 + 8.7. Which is smaller: x or u?
x
Suppose -o + 6607 = -3*m, 2199 = -m + 11*o - 14*o. Let u = m + 209192/95. Is u equal to 1?
False
Suppose -26*f + 49*f = 30*f + 714. Is -48 smaller than f?
False
Let z be (-652592772716)/29610 - 10/25. Let p = z + 22039608. Let w = 2/423 + p. Which is greater: w or 14?
14
Let z = 71.93469 + 0.06531. Is z <= -1/3?
False
Let o = -407/980 - -3/196. Let t(r) = 4*r - 1. Let m(z) = -5*z + 2. Let i(n) = -3*m(n) - 4*t(n). Let p be i(-1). Do p and o have different values?
True
Let j = 0.08105 + 53.91895. Is j > -7/2?
True
Let n = -81468466067485/15103 + 5394190965. Let o = n + -2/1373. Is o != 1?
True
Suppose f = -4*y - 2331, 4*y + 5*f = -1082 - 1229. Let x be (-3)/15 + y/(-20). Suppose 27*j - x*j + 12 = 0. Is j smaller than 5?
False
Let s = -459.2 - 3213.8. Is 0 <= s?
False
Let o = 10462/11 + -102001/99. Let k = o + 79. Let v be 1 - 1 - (-1)/(-6). Is v <= k?
False
Let g(o) = -o**2 - 4*o - 7. Let m = 126 - 122. Let z be 5/(-15 + -5) - 47/m. Let f be g(z). Which is bigger: -102 or f?
-102
Let c be ((-960)/1050)/((-1)/100). Is 91 <= c?
True
Suppose 45 = 7*h + 2*h. Suppose 3*s - 63 = k, h*k + 3*s + 129 + 204 = 0. Which is smaller: -70 or k?
-70
Suppose 673 = 2*u + 659, 3*b = -5*u + 35. Suppose -5*h - 85 - 35 = 0. Let g be -2 + (h/7)/(-2). Are g and b unequal?
True
Suppose 4*c = 5*k + 28, 3*k + 3*c - 14 + 20 = 0. Let n be (7 + -3)/k*0. Let v = -1046 - -13606/13. Which is greater: n or v?
v
Let p(b) = -2*b**3 + 21*b**2 - 13*b + 30. Let q be p(10). Suppose -3*v = -3, q*v + 3 = -2*w + 5*v. Which is smaller: -2/1421 or w?
-2/1421
Let p be 0/(5 + 0 + -6). Suppose 256*l - 257*l - 85 = p. Is l less than or equal to -87?
False
Let m = 226 + -230. Let g = -21667/5213 + 1/401. Is g at most as big as m?
True
Let c(a) be the first derivative of 2*a**3/3 + 25*a**2/2 + 49*a + 75. Let z be c(-13). Is z at least as big as -0.3?
True
Let a = 307863114172066/38079 + -8084852915. Let b = -113696329/23989770 + a. Let v = b - -2/2835. Is -5 != v?
True
Let z(y) = -17*y - 448. Let a be z(-27). Suppose 0*u + 2*u = 24. Is a bigger than u?
False
Let t = -2227 + 2178. Suppose -2*a + 35 = -7*a - 2*h, -5*h + 7 = -a. Let w be a/(t/(-21)) - 59/1. Is -62 at least w?
True
Let p(y) = -y + 30. Let c be p(8). Suppose 3*s + c - 91 = 0. Suppose -2*f + 11 = -s. Is f less than or equal to 19?
True
Let r be 1/((9 + 5)/(-56)). Which is smaller: -7 or r?
-7
Let m = -4591 - -32229/7. Let w = 1111/35 - m. Which is bigger: 18 or w?
w
Suppose -4*h - 17858 = -q, 8*h = 5*h + 5*q - 13368. Does -4465 = h?
False
Let h = -62 + 157. Suppose -432 = -5*j + 4*k, 118*j - 5*k = 114*j + 324. Is j at most as big as h?
False
Let i = -103 + 90. Let b(z) = -z**3 - 14*z**2 - 12*z + 17. Let v be b(i). Is v != 2?
True
Let u be 3/(-6)*(9 - (9 - -6)) + 202. Are 1441/7 and u equal?
False
Suppose -3*u = 4*j - 220, 4*j = u - 19 + 239. Suppose -6 = 4*w + b + 65, -b + j = -3*w. Which is greater: w or -3?
-3
Let g(n) = -n**2 + 15*n + 34. Let c be g(16). Suppose -15*z = c*z - 31*z. Which is smaller: z or -3/17?
-3/17
Let x be 1032/33 + 111/(-407). Suppose -3*y - 3*s + 97 = -2*s, -4*s = 2*y - 68. Which is bigger: x or y?
y
Let t = 179 + -183. Let w be 25/(-300)*(-7)/t. Which is smaller: w or 0?
w
Suppose 1011 = -3*r + 156. Let o = -270 - r. Suppose -2*c + 2 = -0, j + 4*c = 20. Is o greater than or equal to j?
False
Suppose b - 192 = 149. Let a = b + -340. Do a and -2/307 have different values?
True
Suppose -3*r = 4*d, -5*d + 5*r + 48 = 13. Suppose -5*i - 2*u - 42 = 0, -2*i = d*u - 5*u + 14. Which is smaller: i or -9?
-9
Let u be (-2)/11 - (-3 + 154970/(-22638)). Let n = -1/343 - u. Suppose t - 3*y + 33 = -2*t, 2 = 2*y. Which is smaller: n or t?
t
Let x = 5.14151 - -205.76749. Let l = 211 - x. Let n = l + 2.409. Which is bigger: 1 or n?
n
Suppose -2*y - 5*f + 244 = 0, 2*y - 2*f + 0*f - 272 = 0. Let p(b) = 26*b - 1323. Let d be p(56). Does d = y?
False
Suppose 3 = 3*l - 2*l, -3*m = -4*l - 21. Suppose 0 = 4*p - m - 5. Suppose 44*f + 46 = 134. Is p equal to f?
False
Let z = -3664 + 5464. Let b be (-4)/7 + 17/(238/z). Are b and 130 unequal?
True
Suppose r + 2*r - 1210 = 2*c, 5*r - c = 2012. Suppose -3*l - 274 = 4*d, 5*l - 9*l + 2*d - r = 0. Does -99 = l?
False
Let x = -41 + 53. Let m be (26/3)/(2/x*-2). Let i be (-1)/4 + 1070/(-40). Are m and i unequal?
True
Let s be (-7)/(35/(-150))*1/2. Suppose 14*d - s*d = 38. Let p = d + 38. Which is greater: p or -2?
p
Let c(t) = -3*t**3 + 151*t**2 - 50*t + 75. Let b be c(50). Is 63 > b?
False
Let s(d) = 26*d**2 - 3*d + 5. Let y(a) = -79*a**2 + 10*a - 16. Let v(o) = -11*s(o) - 4*y(o). Let h be v(-5). Let i = h - 46848/59. Which is smaller: i or 0?
i
Let t = -1614 - -1610. Do 389 and t have the same value?
False
Let y be 7/((-56)/156)*-2. Let j = -20 + y. Which is greater: -0.1 or j?
j
Let v = 3789 + -3790. Which is bigger: 15/194 or v?
15/194
Let t = -256 - -287. Let f be (-50)/(-14) - 27/(-63). Is t at least f?
True
Let o = -1107 - -999. Let g = -35 + -76. Let d = o - g. Which is bigger: d or 6?
6
Let c be 2/(-11) - ((-90)/(-396))/((-5)/(-6970)). Which is smaller: 15 or c?
c
Let a(u) = -u**3 + 12*u**2 - 28*u + 75. Let c be a(13). Is -458 bigger than c?
False
Suppose 5*u + 447 - 167 = 0. Suppose 0 = 123*o - 299*o - 448*o. Do o and u have different values?
True
Let k be (-1225)/(-490)*(-19284)/10. Is k < -9639/2?
True
Let l = -58931/66827 + -2/3931. Let c be (-1)/3 - 5/3. Is c > l?
False
Let s = -1253 + 2091. Is 837 at most as big as s?
True
Let t(l) = -l**2 + 85*l - 247. Let r be t(3). Let j be (4/(-10))/((-387)/15). Are j and r unequal?
True
Let z(i) = 2*i + 48. Let f be z(15). Let t = 78 - f. Is t < -1?
False
Suppose s + 2 = 2*k - 6, 2*k + 56 = -3*s. Let n be (-12)/16*s/6. Let u = 0 - -5. Is n <= u?
True
Let o = 196/17 - 27568/2397. Which is greater: 0.6 or o?
0.6
Suppose 0 = -11*m - 51*m + 186. Let z = 0 + 4. Suppose c + 4*j + 23 = 2, -c = -z*j - 19. Are m and c non-equal?
True
Let z = 2831/2 + -1388. Let a = z - 27. Let l = 26 - 109/4. Which is bigger: a or l?
a
Let s(q) = -q + 19. Let n be s(17). Suppose -3*w + 2 = -5*b, w - n*b = -0*b. Suppose w = c + 5. Which is greater: c or 3/20?
3/20
Let u = -4 + 4.06. Let i = -3.14 - u. Let w = -3.3 - i. Which is greater: -23 or w?
w
Suppose -92*d - 50*d - 30388 = 0. Which is bigger: d or -212?
-212
Let f = 4432 + -5366. Which is greater: -935 or f?
f
Let l be 3528/120 + (-4)/10. Let s = -12 + l. Suppose -3*k - 6 = 0, s + 4 = -3*o + 3*k. Is o < -10?
False
Suppose -4*g + 4*k = g + 1020, 3*k = g + 215. Let q be -201 - ((-96)/(-6))/(-8). Is g greater than or equal to q?
False
Suppose 0 = -2*f, -5*f + 0 = -2*h + 4. Let s(d) = 0*d**2 - 4*d**h + 0*d**2 + 4 + d**3 - 2*d**2. Let g be s(6). Which is greater: 24/5 or g?
24/5
Let f = 0.48 + 9.52. Let r = -23 - f. Let v = r - -32. Which is greater: v or -18?
v
Suppose 156*z = -900 - 6276. Is -194 greater than z?
False
Let w be (-186)/(-1316) + (-38)/(-532). Let t = 934/6157 - w. Is 0 bigger than t?
True
Let p be -23*(-15 - (-9 - 7)). Is p not equal to -77?
True
Let j = 373 + 269. Let z = j - 630. Is -7 smaller than z?
True
Let x(l) = -5*l + 1. Let i be x(1). Suppose -7 + 7 = 3*f. Let k be (-2)/i*(f - -1)*-54. Are -27 and k non-equal?
False
Let t = -18893 + 18818.1. Is t < 3