 3/(p/20). Is -3/124 < y?
True
Suppose 0 = -9*q + 5*q. Suppose t - 5 = -3. Let r be 138/(-324) + 1/t. Which is greater: q or r?
r
Let l = -19 + 10. Let o be (-1 - -2)*-6*3/2. Is o > l?
False
Let x = 1.25 - 0.25. Is x not equal to -42?
True
Let v = 269769847/204 - 1322404. Let p = v + 2/51. Which is smaller: p or -3?
-3
Suppose 0*i = -5*b - 2*i + 4, -5*b + 3*i = 6. Which is smaller: b or -2/665?
-2/665
Suppose 2*w = q + 2, 0 = q - 5*q + 2*w + 16. Let g be q + -4 - (-2)/(-1). Suppose g = -i - 3 + 6. Which is smaller: i or 1?
1
Let d be 2/9 - -2*212/3168. Let t = d - 5/12. Which is greater: 1 or t?
1
Let b = -5 - -31. Let r = 919 + -893. Is b <= r?
True
Let t be 30/(-34) - -1 - (-224)/119. Let w be 12/(-10)*(-5)/2. Suppose 7*z - t*z = -3*q - 3, -w = -3*z + 3*q. Is z greater than -3?
True
Let v be ((-8)/(-6))/(12681/27 - -3). Are v and 1 nonequal?
True
Suppose 47 = -12*p - 13. Let q(t) = -t**3 + 12*t**2 - 10*t - 16. Let h(x) = 2*x - 9. Let n be h(10). Let v be q(n). Is p at most as big as v?
True
Suppose -v - 5*u - 2 = -8*u, -v - 4*u = -5. Which is smaller: -1/23 or v?
-1/23
Let j = -51 + 54. Let q = 71 + -96. Do j and q have different values?
True
Let g = 1.9 + -4.8. Let j = 9298 - 9297.9. Is g greater than or equal to j?
False
Suppose -15 = 5*z + 2*r, 5*r = -5*z - 0*r. Let s be (-98)/(-320) + 2/z. Let f = -79/160 - s. Is 1 >= f?
True
Suppose -2*i + 4*i - 8 = 0. Let c = 8 - 13. Let b be (c - -3) + -1 + 1. Is b smaller than i?
True
Suppose -630 = 3*y - o, 3*o = -y - 2*o - 210. Is -210 less than or equal to y?
True
Let y be 3/10*(-4)/3. Let q = 1.55 + 0.05. Let u = q - 1.6. Which is smaller: y or u?
y
Suppose 3*l + 3 = 3*c, -3*c = -2*l + 17 - 19. Which is smaller: c or -1/23?
-1/23
Let x = 8 + 0. Suppose u - x*u - 14 = 0. Is 0 less than or equal to u?
False
Let c be (-4 - -10) + (-1024)/171. Which is smaller: c or -1/3?
-1/3
Let m = 0.4 + -0.2. Suppose 2*j - 2*i + 33 = 11, 0 = -3*i - 15. Let q be (-2)/(-8)*(j + 19). Which is smaller: q or m?
m
Let c be 3 + ((-18)/12)/((-9)/(-24)). Does -2/329 = c?
False
Suppose -10*t + 78 = 88. Do -3/34 and t have different values?
True
Let k be (-17 - -20)/((-3)/(-85)) + -5. Is 80 at least as big as k?
True
Let n be (234/4)/(165/(-440)). Are -156 and n equal?
True
Let n(h) be the first derivative of -h**2 - 9*h - 5. Let o be n(-6). Let f = o + -2. Is -2/19 greater than f?
False
Let v = -1479325/171 + 8651. Which is greater: 1 or v?
1
Let b = 320/551 - -23259/63365. Let o be ((-1)/46)/(1/16). Let j = b + o. Which is bigger: j or 2?
2
Let c be ((-7)/(21/(-6)))/(4/(-98)). Do -49 and c have the same value?
True
Suppose 14*d = 8*d + 300. Let j be -2 + d/24 - (-1)/4. Is 1 smaller than j?
False
Let o = 620202/23 + -26958. Which is smaller: o or 8?
o
Let f(i) = i**2 - 16*i + 45. Let d be f(13). Let b be ((-112)/40)/(d/10). Let h be (0 - 1)/((-2)/(-12)). Is h equal to b?
False
Let p(r) = -r**2 + 3*r + 14. Let m be p(-8). Let l be ((-314)/6 - -3)/((-2)/(-3)). Is l bigger than m?
False
Let x = -57/58 - -201/203. Do 1 and x have the same value?
False
Let q = 9074/25 + -363. Let r = 1811 + -1810. Which is bigger: q or r?
r
Suppose -4*o + 2*q = -q + 27, 4*q - 23 = o. Let k = 12/53 + 22/371. Which is bigger: o or k?
k
Suppose 2*x + 0*f + f - 165 = 0, 72 = x - 3*f. Suppose 0 = -y + 3*i + 63, 6*y - 11*y + 429 = 4*i. Is y != x?
False
Let k = -58.5 - -70.5. Is -3 bigger than k?
False
Let x be -1 - (-6)/10 - (-104)/260. Which is smaller: -6/269 or x?
-6/269
Let j = 1991 + -9999/5. Which is bigger: -8 or j?
-8
Let s = -0.034 + 6.034. Let f = -6.2 + s. Is 0.1 not equal to f?
True
Suppose -18*v + 3 = 3. Is v bigger than -3/106?
True
Suppose 5*b + 31 = -3*f + 11, -2*b = 2*f + 8. Let x(s) = -s**2 + 9*s + 13. Let h be x(9). Suppose w - 4 = f, 4*w = 4*y + h + 7. Which is smaller: -2/19 or y?
y
Let x be (-4)/2*(0 - (-12)/(-3)). Do -5 and x have the same value?
False
Let a = -155/2 - -77. Is -0.64 smaller than a?
True
Let y be 13/(1404/3000) + 2/9. Is 29 at least y?
True
Let c be -30 + 33 + 3*-1 + 2. Suppose -2*u = 2*u - 12. Let h be u/(-4) - c/8. Which is smaller: -4 or h?
-4
Suppose -5*a + 20 = -5*g, 4*a + 17 - 5 = -3*g. Do a and 2/4557 have the same value?
False
Suppose -w = -6*w + 10. Let z = w + 1. Is z bigger than 3?
False
Suppose -4*z - u - 4*u - 25 = 0, 0 = 3*z + 3*u + 18. Is -6 equal to z?
False
Let l(d) = 4*d + 19. Let h be l(-5). Let b = -1 + 0.7. Let f = b - -0.1. Is h bigger than f?
False
Suppose 0*s - 70 = -5*s. Suppose 3 = d - s. Let v(f) = -5*f**2 + 232*f + 158. Let b be v(47). Is b bigger than d?
False
Let g(u) = 4*u - 39. Let x be g(15). Let n be (-1)/(-4)*(61 - -17). Which is smaller: n or x?
n
Let j = -1073 + 1072.91. Which is smaller: 31 or j?
j
Suppose 4*v - 29 = -3*j - v, 0 = 4*j - 4*v + 4. Suppose b = j*b - 3*k + 9, -k + 2 = -b. Let m be 1/2 + 21/6. Which is smaller: b or m?
b
Let x = 79.1 - 79.689. Is -0.1 greater than x?
True
Suppose 17*f = 10*f + 56. Suppose -3 = x - 21. Let d = x + -10. Do d and f have the same value?
True
Suppose 0 = m - 6*m - 45. Let f = -5 + m. Let h be 40/(-91) - 4/f. Is h at most as big as -1?
False
Let y be (-5)/(-9)*6/20*50. Which is greater: y or 7?
y
Let j be (-680)/(-30) - (-1)/(-6)*-2. Let d = j - 47/2. Is 0 greater than or equal to d?
True
Suppose 4*b + 17 = d, d - 5*d - b = 0. Is 122 < d?
False
Let g be (-8922)/(-42) + (-3 - (-36)/14). Which is bigger: g or 211?
g
Suppose 5*t = -11 - 9. Suppose -4 = -4*o - n - 3*n, n = 1. Suppose 3*y + 5*p = -9, -2*y + 2*p + o = 6. Which is smaller: y or t?
t
Suppose 62 = 2*b + 68. Let v(i) = -i**3 + 9*i**2 - 9*i + 7. Let n be v(8). Let z be -4 - 2*n - -2. Is b >= z?
False
Let b = 101443/11432 + 2/1429. Let y = -4903/552 + b. Is y >= 0?
False
Let y be 2/6*(3 - -6). Suppose -4 = -0*j + 2*j. Let l be (22 + -2)*j/(-8). Which is bigger: y or l?
l
Let t = 2/16999 - -49663/11338333. Is 0 at most as big as t?
True
Let c = 1199678/1167 + -1028. Is 0 at most c?
True
Suppose 10 = -5*l, -3*o + 2*l - 9 = -l. Are o and -8 unequal?
True
Let q = -2.36 - -0.36. Let z be ((-1)/(-6))/((-1)/22). Is q greater than z?
True
Let o = 0.688 + -289.688. Which is smaller: o or 2?
o
Let s = 213 - 217.29. Which is smaller: s or -1/3?
s
Suppose -2*l - 20 = -4*a, 36*a + 38 = -2*l + 31*a. Which is greater: l or -46/3?
l
Suppose -14 = -8*u - 6. Is u at most 1/215?
False
Suppose -h + 0*h + 17 = 3*n, 3*n - h = 19. Suppose 3*u = n*u + 4704. Let s = u - -14098/9. Which is greater: -1 or s?
-1
Let s = 4811/4 + -1203. Is s less than or equal to -0.43?
False
Suppose a + 5*x + 20 = 0, -4*a - 4*x - 20 = x. Let p be -76*6/(-120) - 4*1. Is a greater than p?
True
Let x = 173.85 - -2.15. Which is smaller: -1 or x?
-1
Suppose -8 = -2*b - 3*r - 0, -2*r = -4*b + 16. Suppose 2*x - 3*x + 6 = 0. Is b < x?
True
Let i be ((-4)/6)/((-2)/(-6)). Let f be (-3120)/2925 - (-3)/(-5). Is f bigger than i?
True
Let r = 112.8 + 0.2. Let h = r + -112.6. Which is bigger: 2 or h?
2
Suppose -499 = -53*a + 190. Suppose 0 = 3*v + 9 - 48. Is v != a?
False
Let p(g) = -g**3 - 15*g**2 - 13*g + 30. Let u be p(-14). Let a be 1 + 17 - 1/1. Is a greater than u?
True
Let m be (16/(-30))/(-8)*2/(-1). Let s(p) = -p**2 - 12*p - 10. Let y = -23 + 12. Let g be s(y). Do g and m have the same value?
False
Let j = 572/7 + -82. Is j != -217?
True
Let v = -2.03 - -0.03. Let q = -31 + 36. Is q greater than or equal to v?
True
Let m = 24.45 + 0.55. Let k = m + -14. Which is smaller: k or 1?
1
Suppose -11*t + 7*t = -48. Suppose t*z + 6 = 10*z. Is -5 != z?
True
Let w = -609 - -522. Which is greater: -96 or w?
w
Suppose -4*q + 2422 = -410. Is 708 equal to q?
True
Let p be ((-97)/2)/(-5*(-14)/(-420)). Does p = 290?
False
Suppose -17*c = -7*c. Which is smaller: -1/130 or c?
-1/130
Let i = 13 - 19. Let q = 3 + i. Let g = 0 + -0.5. Is g at most as big as q?
False
Let p = 196/9 - 4873/225. Is p greater than 4?
False
Suppose 0 = -3*i - 0*i + 4*x + 20, i = -x + 9. Suppose i*k - 16 = 4*k. Let g be (3 + (-14)/k)*0. Which is bigger: g or -1?
g
Let x = 422 + -427. Which is smaller: x or -27/5?
-27/5
Suppose 4*q + 11*p = 8*p - 6, p + 2 = -q. Is q not equal to -3/107?
True
Let p be (14/10 - 1)*(-330)/(-12). Suppose n = -7 + 16. Which is bigger: n or p?
p
Suppose -a + 2 = -2. Let s be (-2)/(-3)*(-22 + a). Let p be 4/s - (-7)/3. Is 3 bigger than p?
True
L