 248*j = -252*j - 1853. Are 16852/9 and s non-equal?
True
Suppose -2*f + 7*f - 5*q + 390 = 0, 0 = 3*f - 5*q + 236. Let h be 1166/(-7) - (-33)/f. Which is greater: h or -168?
h
Let s = -2.83 + -164.17. Let b = s - -166.956. Is 1 equal to b?
False
Suppose -4*f + o + 780 = 0, 248*o = 253*o - 20. Are f and 586/3 nonequal?
True
Suppose -10 = -22*a + 56. Let n be a + 1922/(-241) + 20/4. Which is bigger: n or -1?
n
Let i be 5 - ((-40)/(-8) + -5). Let m be 21/105 - 41/i. Are -14 and m equal?
False
Let u(d) = -d**2 + 11*d - 7. Let h be u(10). Suppose 0 = h*k - 34 - 53. Suppose -4*c + 5*p + k = 0, 3*p = 5*c - 8 - 12. Is 5 >= c?
True
Let c be (-80)/(-66) + 4/(-6). Suppose -34*k = -21*k - 1898. Let v = k + -144. Which is smaller: c or v?
c
Let x be (3 - (-2 - 0)) + -3 + 4. Let h be (-4)/x*18/(-4). Let y = 1007/270 + -7/54. Is y at most h?
False
Let t = -1657.8 - -1848.2. Are t and 1/3 non-equal?
True
Let i = 0.319 + 0.057. Let q = -0.37 + i. Let t = q + 3.994. Which is bigger: t or -0.8?
t
Let t = 4488 - 394947/88. Suppose 4*p - p = 9. Suppose p*g = -g. Which is smaller: g or t?
t
Let h(j) = 642*j + 1985. Let d be h(-3). Which is bigger: 121 or d?
121
Let m = 11123/5 + -2225. Is 0.0319 less than or equal to m?
False
Suppose -160*b + 24 = 2*u - 156*b, -2*u - 5*b + 29 = 0. Which is greater: -40.3 or u?
u
Suppose -5*n = 2*c - 52, -49*n - 10 = -50*n. Let p = 65/108 - 14/27. Which is smaller: p or c?
p
Let c be (135 + 0)/(-6*2/(-8)). Let d be 2540/c + 12 + (-4)/18. Is d at most 41?
True
Suppose -5*x + w - 349 = 0, 5*w = -x - 23 - 52. Let r = 18976/3 + -6256. Let k = r + x. Is 21 != k?
True
Let a = -93 + 102. Suppose -a*r + 30 = -12*r. Let c = -6.8 - -7. Which is bigger: r or c?
c
Suppose -6*l = -2*f - l - 10, -f = 2*l - 4. Let k(n) = n**2 - n + 232. Let s be k(0). Let d be (-1)/((-84)/s) + -3. Which is smaller: d or f?
d
Let x = 0.646 - 0.208. Let i = -0.262 - x. Let j be (0/(-1))/((-2)/(-2)). Do i and j have the same value?
False
Suppose 0 = 3*k - 5*u + 297, k - 20*u + 17*u + 99 = 0. Is k at least as big as 35?
False
Suppose -901*i = -906*i - 5. Are i and 31 equal?
False
Suppose -l - 3*v - 35 = 0, -2 = -3*v + 5*v. Let p = 20628 + -20659. Which is bigger: l or p?
p
Let x = -394 + 363. Suppose 8*u = 15*u - 14. Let k be 1/(-8)*u - 0. Is x < k?
True
Let l(s) = 76*s + 542. Let m be l(-7). Suppose 5*o = 11 + 39. Suppose 0 = o*r - m. Which is greater: 1/88 or r?
r
Let u be (0 + -15)/(1 - (9 - 5)). Suppose 2*f + u*c - 3*c = 8, 4*c = f + 16. Which is smaller: f or -2/99?
-2/99
Let f be (-2412)/72*(1 + 1). Let o = f - -88. Is 20 at most as big as o?
True
Let j = 1997 + -1998. Is j greater than -26/177?
False
Let m = -586 - -590. Suppose -m*w - 279 = g, -g - 66 = -4*w + 5*w. Which is bigger: -70 or w?
-70
Let n be (0 + 66)*-1*3/(-39). Is n < -8?
False
Let m = 1366 + -1084. Is m <= 2/3?
False
Let n = -2637 + -1514. Let l be 3/(6 + n/693). Is l smaller than 296?
False
Let z = 122886 + -994516400/8093. Do -1 and z have the same value?
False
Let k be 21/(-14)*214/(-3). Let i = k - 146. Are i and -38 equal?
False
Let z = 8669 - 8669. Which is greater: 20/41 or z?
20/41
Let x be 35/10 - (-7)/14. Suppose -4*f = -6*f + x*k + 378, 4*f - 3*k = 746. Which is bigger: -0.1 or f?
f
Let i = -335955/301 + 7837/7. Which is smaller: i or 2?
2
Let d be ((-119)/(-8109))/(2/3426). Let t = -25/53 + d. Is t less than or equal to 25?
True
Let q(g) = -g**3 - 23*g**2 - 21*g + 16. Suppose 3*l - 88 = -5*k, -5*k + 136 = 4*l + 22. Suppose 0 = l*h - 31*h - 110. Let p be q(h). Which is greater: p or -7?
p
Suppose 238 = -2*o + 196. Let m be 6/o + 6 + 9736/(-1792). Which is bigger: m or -1?
m
Suppose -15*l - 18 = -33. Is 62/51 at least l?
True
Let o = 18569659/123292 - 1958/13. Which is smaller: 0 or o?
o
Let s be (2/10)/(6/510). Let o(z) = z**3 - 18*z**2 + 17*z - 2. Let i be o(s). Do i and -3 have the same value?
False
Let v(y) = 24 - 18*y - 10*y**2 - 5*y**2 + 769236*y**3 + 9 - 769235*y**3. Let u be (-16)/6*(-3 + -3). Let c be v(u). Is -3/14 not equal to c?
True
Suppose 1127 = r - 585. Let l be r/(-20) - (-4)/(-10). Let j = l - -4212/49. Which is smaller: -1 or j?
-1
Let a be 7/2*195*(-12)/(-210). Is 358/9 <= a?
False
Let b = 25 - -71. Let z = b - 96.7. Let o = z - 8.3. Which is bigger: o or 0.1?
0.1
Let m = 138.773 - -6.227. Which is smaller: 0.34 or m?
0.34
Suppose 7*k + 28 = 0, 264 = 42*f - 37*f - k. Which is smaller: 39 or f?
39
Let c = -7914 - -7816. Is -5 smaller than c?
False
Let v = 21 - 18. Suppose 4*a + 0 = v*c + 4, -5*c + a = 1. Let q be -3 - c/2 - 62/(-22). Which is smaller: 0 or q?
q
Let y = -22367 - -21721. Does -643 = y?
False
Let y be 105/7*2*-1. Let g = -1453 + 1452.8. Is g less than y?
False
Let q be 111*(-1)/(-3)*-1. Let t = -2255/6 + 679/2. Are q and t equal?
False
Let i be 1/(-3) - (-16)/3. Suppose 4*h - 63 = -i*h. Suppose h = 6*c - 5. Which is greater: c or 10/13?
c
Let m be ((-6)/(-5))/((-15)/(-50)). Suppose m = v - 1, 5*f = -3*v - 1535. Let w be 4 + 21/(-5) + (-92)/f. Is 1 less than or equal to w?
False
Suppose -11*z + 174 = -8*z + q, -5*z = -q - 290. Let c(j) = 28*j. Let o be c(2). Which is greater: z or o?
z
Suppose -3*w - 5*u - 57 + 50 = 0, 0 = -2*w - 3*u - 4. Is w equal to 2/7637?
False
Suppose -2*a + 4*a + 205065 = -29*a. Is -6614 at least as big as a?
True
Let a = -12581.654 + 12580. Are a and 1 unequal?
True
Let m = -5209/70 + 376/5. Suppose 41 = -3*f + 4*a, -83*a + 78*a + 54 = -f. Are m and f non-equal?
True
Suppose -m - 1008 = 6*a - 11*a, -4056 = 4*m + 4*a. Which is greater: -1011 or m?
-1011
Let s = 18672 + -55097/3. Which is smaller: 306 or s?
306
Let n be (1178/155)/(-1*8/(-590)). Let c = -560 + n. Let d = 0.117 + -0.17. Which is bigger: d or c?
c
Let f = -15356 - -35351. Is f bigger than 1?
True
Suppose 2*k + 4*s - 8 = -0*s, -9 = 3*s. Suppose -14*g + 9*g = -k. Suppose -24*i + g = -22*i. Is i greater than -12?
True
Let j = -108 - -108. Suppose -7*w - 6 - 1 = j. Let d be (-2)/(-5) - (-81)/15*w. Which is bigger: -58/9 or d?
d
Suppose 2*y = -5*l - y + 171, 6 = -2*y. Let k(i) = i**2 + 31*i - 974. Let g be k(-51). Is l at most g?
True
Let k(o) = 9*o + 21. Let u be k(-2). Suppose -45 = u*p + 3*x, 4*p + 0*x + 54 = -2*x. Let d(m) = m**3 + 12*m**2 + m + 14. Let t be d(p). Which is bigger: t or 1?
t
Let f be -4*((-1638)/(-6076) + 2/(-7)). Which is smaller: f or 60?
f
Let b be 16/2 + (-7 - -4). Suppose -6*s + 8*s = -3*z - 10, -b*z - 3*s = 15. Is z smaller than -7/95?
False
Let w(b) = -5*b + 118. Let z be w(-15). Let a = z + -9842/51. Which is smaller: a or 0?
0
Let k(w) = -2*w**3 + 8*w**2 - 7*w + 6. Let t be k(3). Suppose -42 = 18*a + t*a. Which is greater: -2/13 or a?
-2/13
Let y = -7.825 - -4.428. Which is bigger: y or -2/5?
-2/5
Let d = 67 - 64. Suppose 0 = -w + 3, -6*w - 3 = -d*n - 5*w. Suppose -4*v - 8 = -3*c, 2 = n*v - 3*v. Is 8 > c?
True
Let s = 22949 - 18262. Is 4688 at most as big as s?
False
Let w(f) = 4*f**3 - 82*f**2 - 9*f - 458. Let p be w(23). Are p and 4627 nonequal?
True
Let c = 15.84 - -0.16. Suppose 2885*d - 2817*d - 491 - 53 = 0. Are c and d non-equal?
True
Suppose f = 3*y - 33, -6*f + 35 = 5*y - f. Let s(l) = -3*l + 27. Let t be s(y). Let w be 21/9 + t + (-35)/(-120). Which is smaller: -1 or w?
-1
Let y = 5398027/7 + -769603. Let t = y + -1527. Is 18 > t?
True
Let p(i) = 2*i**3 - 41*i**2 + 88*i - 45. Let u(x) = x**3 - 20*x**2 + 44*x - 22. Let c(v) = -4*p(v) + 7*u(v). Let k be c(22). Which is smaller: k or 23?
23
Suppose -2666 = -20*i + 2054. Does 237 = i?
False
Suppose -z + 8 = -4*d, d + 10 = 6*d. Suppose b + 4 = 0, 3464 = 23*a - 25*a + 5*b. Let p = a - -5273/3. Is z greater than p?
True
Let y be -1 + (5936/21)/(-2). Is 2/3 at most as big as y?
False
Let z be (-63 - -67 - ((-18)/(-2) + -1)) + -4. Is -245 >= z?
False
Let n = -0.1 + 0.2. Let t = 59364 - 59441. Is t less than n?
True
Let l = 1268 - 3427/3. Which is greater: 125 or l?
l
Let z = 10 - 28. Let v be -4 - ((-6)/z + 48/(-9)). Is v greater than or equal to 1/306?
True
Let m = -80 - -79. Let o be (-366)/30 - 1 - m/5. Let w be 143/o + 4*-1. Is -14 >= w?
True
Suppose 6*v - 81 = -3*v. Suppose -76 = v*n - 13. Let q be -4 - (-3)/(-12)*(-92)/n. Which is smaller: -6 or q?
q
Let y be -2*2/10 + (-856)/(-840). Let s = 19/105 + y. Which is smaller: s or 2?
s
Let k(l) be the third derivative of l**6/120 + l**5