 - 190*v + 4*z, 4*z = -5*v - 36337. Is v equal to -7265?
True
Let b be (3/2)/(3/(-18)). Suppose 201*d + 836 = -8*d. Let l be 2/d*(b - (3 + -4)). Which is smaller: -3 or l?
-3
Suppose -14*t - 30 = -5*r - 9*t, -t = -2*r + 17. Suppose r*c = -39*c. Let b = -218888/121 - -1809. Is c at most b?
True
Let h = 1.78 - -0.22. Let q(s) = 12*s**2 - 4*s - 57. Let f(p) = -17*p**2 + 6*p + 86. Let k(m) = 5*f(m) + 7*q(m). Let x be k(9). Which is bigger: x or h?
h
Let h = -316554 - -1595467/5. Let l = h + -356541/140. Let x = l - -32/7. Which is smaller: x or -2?
x
Let l(d) = 12*d - 112. Let z be l(9). Let i be z - (280/7)/(-10). Suppose 3*y = -2*s - 14, -5*s - 9 = y - 0. Is s at most i?
True
Let q = -7.5663 - -7.463. Is -2 < q?
True
Let t = -100.0485 + 100. Let i = t + -0.0015. Do -5 and i have the same value?
False
Let l be (-51)/2 + 648/(-216). Which is smaller: 1/3 or l?
l
Let v(y) = -274*y + 1096. Let f be v(4). Is 21/283 less than or equal to f?
False
Let c = -360185/267 - -1349. Let k = -139247/4 + 34983. Let b = 171 - k. Is c smaller than b?
False
Let g(m) = m**3 + 3*m**2 - 2. Let c be g(-2). Let v = -19712 + 137763/7. Let t = -31 - v. Which is greater: c or t?
c
Let g(s) = -2*s**3 - 7*s**2 + 49*s. Let j be g(-7). Is j not equal to 6.651?
True
Let f = -194 + 323. Suppose -5*q = -z + 56 + f, -2*q = 4*z + 74. Suppose 0 = 3*l - l + 2*r + 66, -l + 4*r - 48 = 0. Is q != l?
True
Let k be 34/(-85)*(-1007180)/(-112) - 2/(-28). Is k >= -3592?
False
Let v(p) = -p**2 + p. Let u(q) = 4*q - 2. Let l be u(1). Let w be v(l). Are w and -4/7 equal?
False
Let d = 135 - -85. Let s = -219.8 + d. Which is bigger: -4/9 or s?
s
Suppose 2*f + 6*j - 8*j - 6 = 0, 0 = 5*f + 4*j - 24. Suppose 46 = -3*a + 2*a - 5*w, 0 = 4*a - f*w + 112. Is a at most as big as -41?
False
Suppose 2939*m = 2945*m - 6. Suppose -7*p = -11*p + 784. Let y = p - 2745/14. Which is bigger: y or m?
m
Suppose 51*n = 53*n - 6674. Let x = n - 430471/129. Are -1 and x equal?
False
Suppose 0 = -47*r + 10993 + 41412. Is r > 1120?
False
Let a = 202 - 1013/5. Suppose 5*w - 3 = 7, 4*h = -2*w - 56. Let f = -17 - h. Which is smaller: f or a?
f
Let o = 20034 - 20028. Which is smaller: 0.52 or o?
0.52
Let c = -66 + 75. Let p be (-16)/3*(-17 + c + -4). Let i = p - 62. Which is smaller: 1 or i?
1
Suppose 4*l - 4*z = 1508, -2*l + 0*z = 5*z - 754. Which is greater: l or 380?
380
Let d be (84/15)/((-5300)/(-11750)) + -11. Which is smaller: d or 0?
0
Let r = 1/8 - 73/648. Let t = r + -1711/7371. Let g = -90/91 - t. Which is bigger: g or -2?
g
Let l be 3/(-18)*3 - 7/((-126)/261). Do l and 477/32 have the same value?
False
Let c be (-8)/3 - ((-7)/(-3) + -2). Let b = 253/2 + -4381/34. Do b and c have different values?
True
Suppose -216 + 214 = -t, 3*n - t = 1. Is n at most as big as -5/634?
False
Let j(h) = 2*h**2 + 17*h - 140. Let k be j(5). Let p = -29 + 18. Is p smaller than k?
True
Let p(v) = -6*v**2 - 92*v + 67. Let h be p(-16). Is 113/53 at least h?
False
Let a(b) = b**3 - 9*b**2 + 9*b - 12. Let m be a(8). Let j be (-5)/(-6)*(80/(-25))/m. Which is bigger: 0.185 or j?
j
Suppose 353*q = 347*q + 1110. Which is smaller: q or 187?
q
Let w = 1733 + 1809. Is 3547 <= w?
False
Suppose l + 4*j = 4, -56 = -33*l + 38*l + j. Which is smaller: l or -3/37?
l
Suppose -7*n + 643 + 5159 = -295. Which is bigger: n or 870?
n
Let j = -7084 + 4682525/661. Are j and -1 non-equal?
True
Let x be 88000/(-16) - (-27)/(-3). Which is bigger: -5510 or x?
x
Let l = -7343/8 - -921. Suppose 6*n + 9 = 9*n. Which is greater: l or n?
l
Suppose 4*t - 90*t = 13*t. Which is bigger: t or 9/1261?
9/1261
Let k = 370.24 - 372.1499. Let m = -0.0099 - k. Is m at most as big as -1/3?
False
Let n(w) = 65*w**2 - 323*w - 9. Let t be n(5). Which is bigger: t or 3/14105?
t
Let m(g) = -2*g**3 + 18*g**2 + 33*g - 288. Let f be m(8). Is 98 at most f?
True
Let q(t) = -t**3 + 9*t**2 + 5*t - 56. Let r be q(8). Let n be -6 - (-290)/(-4)*(42 - r). Is n != 429?
False
Let d(h) = 32*h - 447. Let z be d(14). Is z at least as big as 6/1489?
True
Suppose -208*d + 301*d + 93 = 0. Is 18/695 < d?
False
Let k = 105 - 104. Let y = 1.1 + -1.034. Let f = -0.196 + y. Which is smaller: f or k?
f
Let k be (-4*5/30)/((-17)/(102/(-4))). Is -5/1734 > k?
True
Suppose 9*p - 7*p = -u + 9, 23 = 4*p + 3*u. Suppose p*l - 22*l - 1040 = 0. Is -49 greater than l?
True
Let k be (-2)/5 - 272/20. Let q = 13 + k. Let h = 16275/13 - 1253. Are q and h equal?
False
Suppose 0 = -4*x + 301*g - 299*g + 638, -74 = -x + 10*g. Which is greater: -8/17 or x?
x
Let s be (-9)/(-39)*(-34)/(-6). Suppose 95*y - 10 = 93*y + 3*n, -2*y - 6 = 5*n. Is s at least y?
False
Let d = 25973 + -24986. Is d not equal to 989?
True
Let d = -1226/10715 + 2/15001. Which is bigger: 72 or d?
72
Let w be -114 + -7 + 13 - 0. Which is smaller: w or -533/5?
w
Suppose -29*v + 27*v + 12 = 0. Let p be (2052/14)/9 - v. Does p = 11?
False
Let w = -177.7 + 1119.7. Is 0.2 equal to w?
False
Let r = -41 - 23. Let x be (-1)/3*(-8)/r. Let d = -10 + 10. Are d and x equal?
False
Let w = 5852 + -5546. Are w and 306 nonequal?
False
Suppose -2*u + 5*t - 2877 - 351 = 0, -4*u - 2*t - 6432 = 0. Is -1609 <= u?
True
Suppose -183*b + 52*b = -33155 - 645687. Which is smaller: 5183 or b?
b
Let f = 4.067 - 0.067. Let p = -9 + f. Is p < 4?
True
Suppose -4*o + 8 = -3*c, -5*o - 4*c = c - 10. Suppose o = v - 0, -4*v + 8 = 3*n. Let f be (32/(-3))/(-4) + -2. Which is bigger: n or f?
f
Let t be (-77)/(-7) - (-7290)/(-9). Which is smaller: t or -5?
t
Suppose -7*u - 6948 = -15*u + 4*u. Is u < 1738?
True
Let r = -12 + 22. Suppose 0 = 6*v - 4*v + 5*m + 17, v + r = -2*m. Let k be (-3)/(-66)*v/4. Which is bigger: k or -5/7?
k
Suppose 0 = 2*l + 34*l - 288. Let h be 1996/(-494) - (-1 - (l + -5)). Is 1 at least as big as h?
True
Suppose 0 = -f - 2*l - 114, 0 = -7*f + 4*f + 2*l - 310. Let u = 319/3 + f. Does u = -0.34?
False
Let j = -1915 + 9573/5. Does j = 3154?
False
Let s = 1133 - 1197. Are -58 and s equal?
False
Let b = -0.8 - -42.8. Let g = 69 - 32. Let m = b - g. Is -2 greater than m?
False
Let a = -26 + 126. Suppose 32 = 3*c - 265. Is a greater than or equal to c?
True
Let s be (20092/(-10))/((-3)/(-5 - -2)) + -5. Is -2013 at most as big as s?
False
Let v = -405 - -408.59. Let a = v - -2.41. Let c = 0.3 - -1.7. Which is bigger: c or a?
a
Let h be 4/10 - (-37568)/4380. Let b = h - 21/146. Which is greater: b or 9?
9
Let a be (-96122)/(-39)*(1 + 34/(-4)). Let k be -6*5/a*2/6. Let y = k - -29538/70243. Do y and 0 have the same value?
False
Let h = -2324 - -2324. Is 3/137 smaller than h?
False
Suppose -8 = 4*x, -2*x - 3*x + 2 = 4*b. Let n be ((-48)/20)/b*-5. Is 7 at most n?
False
Let v = 46/7 + 86/21. Is v not equal to -9?
True
Let s be 64/16 + (14 + 2)*-8. Let k(l) = 5*l**2 + 15*l - 15. Let m be k(-7). Let y = s + m. Is y < -1/127?
False
Let m = -0.34 + 15.34. Let o be 2 - ((-28)/(-35) + 1). Is o > m?
False
Let x(i) = -2*i**3 - 24*i**2 + 27*i + 9. Let b be x(-13). Let h be (9 + -14)*b/(-10). Are h and -43 equal?
False
Suppose -3*o + 4*h + 274 = 0, 48*o - 221 = 46*o - 5*h. Which is greater: -2 or o?
o
Suppose -20*c - 16 = -24*c + 2*m, -2*m = -4. Suppose -840*u = -835*u + c. Which is bigger: u or 3/542?
3/542
Let o be 13/((-1)/9*3). Let d be ((-2)/3)/(26/o). Let n be (4/(-20)*1)/(7/(-35)). Is d smaller than n?
False
Let m = 910.0621 - 910. Let a = 0.9379 + m. Suppose -2*i = -0*i + 38. Which is smaller: i or a?
i
Suppose -35*c - 66 = -46*c. Suppose -7*k + 1404 = c*k. Which is greater: k or 106?
k
Let u = -7.8 + 7. Let q = 0.2414 - 0.0414. Let y = u - q. Which is bigger: y or -0.47?
-0.47
Let y = 6470 - 6471.2. Which is smaller: y or 2/27?
y
Let p be (-87915)/(-42) + (-63)/294. Is 2092 > p?
False
Let q be -1191*((-2)/3)/(-2) - 1. Let h be (7/(-35))/1 - q/(-10). Is h >= -40?
True
Suppose -4*l + 10 = l, -5*z - 34 = -2*l. Let b = 265 - 186. Suppose b - 97 = 3*a. Is a != z?
False
Suppose 3*s + 5*s - 137 = -145. Do 27/590 and s have different values?
True
Suppose -4*m = -0*m - 4. Let g be (-4916)/(-152)*2*(-8 - 1). Let b = g + 582. Which is bigger: b or m?
m
Let x(r) = 8*r + 17. Let u(m) = -7*m - 17. Let z(h) = -6*u(h) - 5*x(h). Let b be z(-8). Let o = 28277/20 + -1414. Which is smaller: b or o?
o
Let a = 83.1 - 83. Let h = -13.7 + -29.3. Which is greater: h or a?
a
Let d = -258/8711 - 76258810/