
True
Let t = -143 + 242. Let y = t + -79. Is y less than or equal to 17?
False
Suppose -150 = 2*f + 2*v, 3*v - 99 - 162 = 3*f. Do f and -46 have the same value?
False
Let l = -4412322956/15 + 294371614. Let c = l - 217199. Let k = c + 1375/3. Is k bigger than 11?
False
Suppose 2*m + 2*x = 6, m = -3*x + 14 - 7. Which is smaller: m or -32/157?
-32/157
Let k be (-4)/10*(-75)/6. Suppose u = -3*b - 172, -u + 2*u = -k*b - 290. Which is smaller: -58 or b?
b
Let i be (-16 - 282/(-15))/((-14)/105). Let v be 2/5*(-1505)/28. Which is bigger: v or i?
i
Suppose 6873*b = 6861*b + 12. Is -1/7989 at least b?
False
Let w = -3418 - -2542. Which is bigger: -877 or w?
w
Let o = 38143/3122256 + 58/2243. Let v = o - 1/48. Which is smaller: -1 or v?
-1
Let t = 0.94 + -1. Let i be -28 - -22 - ((-46)/4 + 2/(-4)). Which is smaller: i or t?
t
Let r = 11520 + -10623. Which is smaller: -3 or r?
-3
Suppose 2*f - 3*o - 324 = 0, -2*o + 0*o = 0. Let s = 817/5 - f. Let y be ((-1)/((-5)/2))/(7/35). Which is greater: s or y?
y
Let c be ((-1046)/(-30))/((-13)/39). Let b = 5993/55 + c. Is b greater than 5?
False
Suppose -12*y + 17 = -19. Let h be (9/72)/(y + -4). Is 0.05 less than or equal to h?
False
Let p = -258 + 2577/10. Let d(h) = -h**3 + 10*h**2 + 24*h - 2. Let f be d(12). Let z be ((-135)/(-36) - 3) + f/(-8). Is z < p?
False
Let h be (((-16)/(-1236))/2)/(69/(-207)). Is h >= 1?
False
Let y = -0.3 + 0.1. Let z = 0.624 - 0.38. Let g = 0.294 - z. Which is smaller: g or y?
y
Let v be (-40)/(-24)*7/5. Let n(w) = w**2 - 6*w + 9. Let d be n(4). Let k be (d + 2 + -2)*1. Does v = k?
False
Let y(q) = -2*q - 12. Let r be y(7). Let j be (-4)/r - (-18)/(-3666). Are j and 1 equal?
False
Let t(i) = 4*i + 108. Let x be t(-14). Suppose 0 = 2*b + x + 40. Is -48 smaller than b?
True
Let j = 407 - 4481/11. Let m(n) = 3 - 2 + n - 6 + 3. Let g be m(2). Which is smaller: g or j?
j
Let k(h) be the third derivative of -h**5/60 - 5*h**4/4 - 187*h**3/6 - 2*h**2 + 47*h. Let g be k(-9). Which is smaller: g or 225?
g
Let z = -3.68 - -4. Let d = z - 0.134. Let x = 0.026 - d. Is x greater than 1?
False
Let d(z) = -44*z - 1804. Let m be d(-41). Which is greater: -23/96 or m?
m
Let t = 542.1116 - 542. Let i = t + -81.2116. Let y = i - -81. Which is bigger: y or -2/55?
-2/55
Let j(k) be the first derivative of -4*k**3/3 - 15*k**2 + 2*k - 10. Let l be j(-7). Suppose 0 = -4*d - d + 5*v + 30, 5*d + 2*v - l = 0. Is d not equal to 0?
True
Let h(m) = -42*m - 68. Let k be h(6). Let n be 12/(-27) - (k/18)/(-5). Is -7 bigger than n?
False
Let b = 5831/27 + -216. Let l = 13 + -8. Let a = l + -5. Which is greater: a or b?
a
Let z = 0.804 + -0.034. Let w = 0.43 + z. Let k = 0.2 - w. Which is smaller: 16/3 or k?
k
Let a = 0.2 - 0.1. Let r = -1.8 + 0.92. Let l = -0.85 - r. Do l and a have different values?
True
Let z(f) = f**3 + 31*f**2 - 110*f - 1450. Let h be z(-33). Let l be (-1)/4*-6 + 0. Which is greater: l or h?
h
Let t = -0.136 + 0.173. Let n = 1300 + -1300.663. Let b = n - t. Which is greater: -0.1 or b?
-0.1
Suppose 0 = 1263*p - 1255*p - 96. Are p and -1070 equal?
False
Let t be ((-23)/60)/(1/(-1724)) + (-12)/(-90). Is 667 at most as big as t?
False
Let p(t) = -t**3 - 6*t**2 - 4*t + 9. Let z be p(-5). Suppose -z*y = 4*n - 692, -38*n = -33*n + 3*y - 855. Is n <= 166?
False
Suppose -w + 4*k + 8 = 0, -48*w - 3*k = -52*w + 6. Suppose 4*j = -5*a + 60, 4*j + a = 2*j + 36. Which is greater: j or w?
j
Suppose -858 = 5*z + 18*s - 22*s, -4*s - 922 = 5*z. Do -182 and z have different values?
True
Suppose -10*m - 56 = 4*m. Let k(z) = z**3 + 2*z**2 + 2*z + 4. Let s be k(m). Let f be s/(-1638) + (1 - 1). Is -0.2 not equal to f?
True
Let p = -37896.7 + 37894. Which is greater: p or -325?
p
Let g(x) = -4*x - 4. Let b be ((-21)/(-27) - 1) + 148/18. Let q be (b/(-3) + 3)*-3. Let y be g(q). Is 2/49 less than or equal to y?
False
Let g be (-29)/(75/40 + -2). Suppose -d = d - 3*k - g, -121 = -d + 4*k. Suppose -5*b + 5*a + d + 12 = 0, 0 = 5*b - a - 129. Which is smaller: b or 25?
25
Let l = -63.988 + 64. Let a = 0 + l. Let f = 0.388 + a. Which is bigger: 0 or f?
f
Let y = 3576 - 3575.546. Which is smaller: 0.05 or y?
0.05
Suppose k = 5*g - 3*k + 2, 0 = -g + 5*k - 13. Suppose -s - 2 = g*c + 9, 5*s + 20 = -3*c. Which is smaller: 1/17 or s?
s
Suppose 2*r - 1734 = 4*s, s - r - 213 = -644. Let a = s + 435. Which is smaller: 4/213 or a?
a
Let a(g) = -77*g + 206. Let m be a(-22). Are m and 1900 non-equal?
False
Suppose 21*i + 842 = 19*i + 3*l, i + 403 = -3*l. Is i at least as big as -2078/5?
True
Let p = 14271 - 14229. Is 217/5 less than p?
False
Let i = 36 - 34. Let z be (-12)/(-10)*(-3 + i/8). Let r = z - -34/5. Is 3 > r?
False
Suppose -864*m + 5674 = -4*u - 865*m, u - 3*m = -1399. Which is bigger: -4250/3 or u?
-4250/3
Let b(m) = -4*m + 11. Let y be b(4). Let f be 456*-1*y/(-10). Let z = 2969/13 + f. Which is smaller: z or -1?
-1
Suppose 3*q + z = 255, 2*q + 2*z = -0*q + 174. Let b be 3/8 - (q/(-32) - -4). Does b = 181?
False
Suppose -15*f + 22645 = -10*f. Let b be f/(-644) + 7 + 0. Is b bigger than -1?
True
Suppose 3*w = -3*q + 1153 - 202, -w + 317 = 2*q. Let b = -317 + w. Does b = -1/196?
False
Let q be 30408/78 + 10/65. Suppose 4*z + q = 5*y, z - 3*y = -4*y - 102. Is -99 at most z?
False
Let r = -11378999519/15551538442 - 9/6255647. Let s be 1806/(-452) + 1 + 3. Let v = r + s. Which is smaller: 0 or v?
v
Let t(i) = -i - 24. Let z(n) = -8*n + 12. Let c be z(-6). Suppose 3*l + c = 27. Let k be t(l). Which is smaller: -15 or k?
-15
Let f = -28 + -80. Let l be f/459*(2 - 30/(-4)). Which is smaller: -1 or l?
l
Let m be 28/(-10)*(70/(-4) + 10). Suppose -m*q = -2*q - 0*q. Is q not equal to -180?
True
Suppose 120*p = 39*p + 62*p - 51566. Do p and -2717 have different values?
True
Let k be (170 + 7 + -17)*(-48)/(-10). Suppose 0 = 9*n + 7*n + k. Which is smaller: -47 or n?
n
Let d(u) = u**3 + u**2 + 2*u + 1. Let t be d(-2). Suppose 4*a - 6*a = -6. Let q be ((-10)/6)/(a/9). Are t and q unequal?
True
Suppose 3*s + 4*s - 21 = 0. Suppose -s*y + 14 = 17. Is -2/5 at most y?
False
Let b be 182*872/(-105760) - 18/(-12). Is b not equal to -1?
True
Let c = -31 + 30. Let p be 5/7335*-3*36/(6/(-1)). Does p = c?
False
Let c be (-5733)/585 - ((-1)/10)/(8/(-16)). Suppose 0 = -3*m - 83 + 20. Let s = m + 13. Is s at least as big as c?
True
Let w be 36/(-27)*2/14 + (-12)/84. Which is bigger: 54.93 or w?
54.93
Let m = -5711 - -5710.9. Which is smaller: 8918 or m?
m
Let f be 3*5/15*3. Let c(y) = 11*y - 1. Let j be c(f). Suppose 44 = 10*a - 276. Is a bigger than j?
False
Let o = 43.11 - 42.9. Let c = 0.39 - o. Are c and -0.08 non-equal?
True
Let k be (-1)/(-12) + (-12)/(-28) + (-432)/567. Is k > -0.077?
False
Let b(a) = -7*a + 13. Let p(w) = 3*w**3 - w**2 - 7*w + 7. Let v be p(1). Let r be b(v). Are r and -2/695 non-equal?
True
Let r be 2/16 + 28167/(-386552). Which is greater: r or -1?
r
Let h = 29.25 - 15.15. Let s = -159 - -160. Which is smaller: s or h?
s
Let m(l) = 36*l - 169. Let r be m(6). Suppose -2*h + r = 3*g, -5*g + 8*h + 49 = 4*h. Is -4 at most as big as g?
True
Let h(s) = -s**3 - 6*s**2 + 5*s - 5. Let x be h(-7). Suppose -3*p + x + 54 = 0. Let z = 45492 + -45471. Is z greater than or equal to p?
True
Let r = 13809 - 13809. Which is greater: 3/2165 or r?
3/2165
Let u be (-42)/(-13 + -71)*((-6)/5 + 0). Let v(i) = 2 + 1 + i + 2. Let b be v(-6). Is b less than or equal to u?
True
Suppose 3*f - f = 8. Let g be (1/2)/((-2)/f). Let a = 13618/37 - 368. Is g < a?
True
Let d = -6.1903 + 6.2. Let f = 0.2903 + d. Is -165 less than f?
True
Let z = -460.8 - 33.2. Let s = -476 - z. Is s > -9?
True
Suppose 5*l = 2*r + 209, 25 = -l + 6*l. Let x = r + 94. Suppose -2*b - b = -2*h + x, b = -5*h + 5. Which is smaller: -4/87 or h?
-4/87
Let t = -4788893/13650 + 2105/6. Is t < 1?
True
Let u = -10 + 5. Let n(b) = 2045*b - 10220. Let o be n(5). Which is smaller: u or o?
u
Suppose 0 = 106*o - 122*o - 64. Let h(l) = -129*l - 520. Let p be h(o). Suppose -4*j = -5*x + 10, 4 + 7 = -3*j + 2*x. Which is bigger: p or j?
p
Suppose -36*l + 135 = -81. Suppose -2*p - 66 = -2*u - 0, 0 = -3*p + 3. Let i = u - l. Which is smaller: i or 0?
0
Let s = -490 + 831. Let i = -344 + s. Let l(j) = j + 1. Let y be l(-6). Are y and i non-equal?
True
Let z = 343 + -294. Let g = -48.9 + z. Which is g