 Suppose 2*b + 10 = 2*j, 0 = -j - 3*j - b + 30. Suppose 10 = -5*m + 5*t, m - j*t + 10 = -2*t. Is y bigger than m?
False
Suppose -166*d + 20755 = 5649. Which is bigger: d or 994/11?
d
Let m(c) = 546*c**2 - 3*c - 551*c**2 - 3*c**3 + 25 + 2*c**3 + 6*c. Let v be m(-7). Is 104 less than or equal to v?
False
Let n be (2 - 36012/(-2))*(3000/160 + -18). Which is smaller: 0.2 or n?
0.2
Let z be ((-12)/(-14))/(-5*4/(-840)). Let x be -75*(-16)/z - (-52)/(-39). Which is bigger: 40 or x?
40
Let r(d) = -d**2 + 156*d + 66. Let o be r(55). Which is bigger: 5620 or o?
o
Suppose -4*i = -134 - 14. Suppose -i = -o - 7. Suppose n + 5 = 0, 0 = 3*t + t + 2*n + o. Is 0.3 >= t?
True
Let w(z) = -24*z. Let t be w(1). Suppose -32 = -4*d - 0. Suppose d*h - 24*h = 400. Is h < t?
True
Suppose -z - 5 = w, 4*z = -0*z - 2*w - 14. Let o be 8 + (-1 + -1)*z. Let c be -15 + o + 250/82. Which is smaller: c or -2?
-2
Let w be 9 - 23 - (1/(-1))/(-1). Let d be (12/w)/(2740/100). Do -1 and d have the same value?
False
Suppose -453*m = -223*m - 231*m - 4. Let j = -3536 + 17606/5. Does j = m?
False
Let o be (-46)/28727*(7 - -9)/1. Which is bigger: o or 0?
0
Let d be (0 + 21/112)*28/21. Which is bigger: 1013 or d?
1013
Let p = 50907/7 + -7284. Let a = 12 + -25. Which is bigger: p or a?
p
Let l = 191.9 - 192. Is l smaller than 9/139?
True
Suppose 686*p - 36 = 690*p. Is -312/35 < p?
False
Let j(k) = 33 + 8*k**2 - 24*k**2 + 8*k**2 + 10*k**2 - k. Let f be j(-6). Is 332/3 > f?
False
Let o be (-1 - -2)/(2/34). Let v(c) = 159*c - 162. Let j be v(6). Let r = 808 - j. Is r greater than or equal to o?
False
Let c = 0.06 - -74.94. Let s = 75.034 - c. Let m = s - 0.024. Which is smaller: m or 1/4?
m
Let a = 159 - 150. Suppose 11*d - 12 = 5*n + 7*d, -2*n + 3*d - a = 0. Which is bigger: 1/9 or n?
1/9
Let f = 66 + -70.24. Let y = f - -0.44. Let i = y + 3.83. Which is bigger: i or -3?
i
Let t be 6*(-40238)/(-66) + -10. Do 0 and t have different values?
True
Suppose -2*u - y + 15 = 0, u - 30 = -u - 4*y. Suppose -u*a + 4*a = -33. Suppose 2*n + 75 = -a. Which is smaller: -56 or n?
-56
Let u be 1/(35/2 + -2). Let v = -834.064 + -1.936. Let z = -836 - v. Is u greater than z?
True
Let c be 4/(-6) + 478/(-12). Let p = c - -15955/394. Let b(w) = 7*w + 119. Let d be b(-17). Do p and d have the same value?
False
Let c = 316007842000133/252 + -1253996979583. Let i = c - 2393428. Let s = 38/7 - i. Is s <= 1?
True
Let o = 0 + 0. Suppose o = -3*c - c. Let k be (128/(-35968))/((-16)/(-32)). Which is smaller: k or c?
k
Let j = 322 - 293. Let f(q) = -q**3 + 28*q**2 + 27*q - 51. Let x be f(j). Which is smaller: x or -107?
x
Let m = 0.1945 + 35.8055. Which is smaller: 7/8 or m?
7/8
Suppose 2*h - 125 = 5*c, 64*c - 42 = 65*c + 3*h. Are c and -487/18 equal?
False
Let r(q) = q**2 - 2*q - 2. Let h be r(0). Let u be h/1 - (-6)/(-2). Let c be (3 - u/15) + -3. Is -43 bigger than c?
False
Suppose -3*h + 5*m = -98, 17*m + 31 = h + 15*m. Is -99 at most h?
True
Suppose 15*y = -6*y. Suppose y = -11*b - 134 - 240. Do b and -34 have the same value?
True
Suppose 76*a = 98*a + 2090. Are a and -95 nonequal?
False
Let s = -267/133 - 7160/399. Which is bigger: -19 or s?
-19
Let s be (3 - (-115)/(-6))/(51/(-34)). Which is bigger: s or 11?
11
Let r be 8/16 - (441/66 + -6). Is -7736 <= r?
True
Suppose 51*o = -76*o + 118616 + 260479. Which is smaller: o or 2989?
o
Let h = -12156 + 12156. Are h and -1/13200 nonequal?
True
Let x be -3 + 2/(56/228). Let g(s) = -2*s**3 + 25*s**2 - 11*s - 8. Let o be g(12). Which is smaller: x or o?
o
Let b be (38/16)/(1/(-2)). Suppose -x - 4*g - 6 = 0, 4*x - 5*g + 16 = -8. Is x at least b?
False
Let r(w) = -w - 11. Let a be r(-4). Let u = a - -11. Suppose u*z + 0 = 4. Is z > -4/21?
True
Let d be 13/(-26)*(0 - 28). Let j be d/(-18)*16/56. Let h = 3 - 7/2. Which is greater: h or j?
j
Suppose 176 = 44*n - 28*n. Let m be ((-34)/(-2))/(n/(-132)). Which is bigger: 1/3 or m?
1/3
Let i be 10/(-124)*-2*6/345. Suppose 397*y + 1 = 396*y. Which is smaller: y or i?
y
Let t(j) = 662*j - 2519. Let x be t(9). Which is smaller: 3440 or x?
x
Let x(n) = n**2 + 119*n - 738. Let s be x(6). Is s <= 126/11?
False
Let i(d) = -11*d**2 + d + 10. Let l be i(5). Let u = l - -261. Is u > 1/489?
True
Suppose 1514*s = 1529*s. Which is smaller: s or -9/3988?
-9/3988
Let h(p) = 2*p**3 + 124. Let z be h(0). Let u be (z/(-6) - 0)/(4/(-6)). Suppose -x + u = 7. Is 24 != x?
False
Let j = -8346 - -8294. Do j and -53 have the same value?
False
Let u = -4252.5 - -4253. Is -1651 equal to u?
False
Suppose 12 = 6*k - 5*k + 3*u, -5*k + 44 = -u. Suppose -56 = 5*n + k. Let r be -6*4/(0 - -2). Is r > n?
True
Suppose -27 = -38*g + 35*g. Suppose -1 + g = 8*z. Which is greater: 2 or z?
2
Let t = 17517 + -30392. Which is smaller: t or -12874?
t
Let l be (-1 - 132/6) + 8. Let k be (188 + -187)/(1 - (-16)/l). Is -16 greater than or equal to k?
False
Let w(u) = 2*u - 1. Let m be w(2). Suppose 0 = 4*c - 2*d - 28, -2*c + 32 = 2*c - m*d. Let l be (20/(-48))/(c/(-80)). Which is bigger: 6 or l?
l
Let o be 6*(-1 - 2)*(-966)/(-1540). Let w = o - -122/11. Let m be 0/(2/(-2*1)). Which is smaller: m or w?
w
Suppose -2*w + 1 = -7. Suppose -5*s - 4*i + 16 = 0, -3*i - 4 = 4*s - 4*i. Let p be (s + 1/(-3))/(w/6). Which is bigger: p or -1?
p
Let r = 5.129 + -0.029. Let m = 5.1 - r. Are m and 6 equal?
False
Suppose -5*w - 3*m + 23 = 0, -3*w + 84*m = 89*m - 33. Are w and 29/83 unequal?
True
Suppose 2*t + 292 - 64 = 0. Let w = 134 + t. Suppose -w = -80*l + 85*l. Are -2/13 and l non-equal?
True
Let w = -287 - -287. Let k be 32/(-1664)*(-4 - w). Suppose -v - 3*v = 4. Is k at least as big as v?
True
Let q(v) = 2*v + 44. Let s be q(-20). Suppose 4*y - 3*r - 4 = 0, s*y + y = 3*r + 2. Let w be (y*2)/(-8)*(5 + -3). Which is smaller: 2/15 or w?
2/15
Suppose -556 + 148 = -3*j. Let c be 16/((6/51)/1). Is j >= c?
True
Let o(y) = y**3 + 2*y**2 + 90*y + 573. Let h be o(-9). Is -809 < h?
True
Let s(n) = -n**3 + 22*n**2 + 27*n - 45. Let j be s(23). Let x be (0 - 7/(-13))*(j - 48). Which is bigger: -2 or x?
x
Suppose 101 - 83 = 6*a. Let q be (336/18)/(-7) + (a - 0). Suppose 3*b = 7*b. Which is smaller: b or q?
b
Suppose 5*l - 50 = -2*c, 2*l + 4*c = 5*l - 4. Let g be 694/6 - 1/(-6)*2. Suppose -l*k - g + 12 = 0. Do k and -13 have the same value?
True
Let a be 1004/(136*6/96). Is a equal to 119?
False
Let t = -1409 - -1409. Is 41/6 at least as big as t?
True
Let a be ((-174)/(-203))/(1/(-42)*8). Is 4/43 at most a?
False
Let z be (2 - 3) + 6 + -8. Let q be (1 + 2/6*z)/2. Let j be (9/4)/((-114)/16). Is j equal to q?
False
Let k be 16 + 7 - (-11)/(-1). Let b be 7/(-56)*0 + k/(-45). Suppose 0 = 2*h + 5 - 1. Is b equal to h?
False
Let m = -2711 - -2717. Is m less than -41?
False
Let i be 40/21444*(-48)/32. Is 1 greater than i?
True
Suppose 33*y = 54*y + 14490. Suppose g + 5*t + 6 = 0, -9*t + 3 = -2*g - 10*t. Which is smaller: g or y?
y
Let r be (-420)/36*36/2. Let u = r - -313. Let t = -97 + u. Do -3 and t have the same value?
False
Let j = -0.063 + -0.637. Which is smaller: j or 45?
j
Suppose 4*u + x = -91, -3*u + 0*u = x + 67. Let r(n) = -2*n**2 + n + 10. Let m be r(7). Let y = 56 + m. Which is bigger: u or y?
u
Let s = 725/544 + 183211/544. Which is greater: 337 or s?
s
Let f = 25.8 - 14.7. Let c = f + -31.1. Let i = 179 + -183. Which is bigger: i or c?
i
Let q(h) = h**2 + 20*h + 83. Let z be q(-14). Let f(m) = -2*m**2 + 6*m - 4. Let r be f(5). Let u be (-15)/(-5) - r/(-7). Is z != u?
True
Let s = 129 + -105.4. Let b = s - 23.7. Which is smaller: 238 or b?
b
Let y be (15829010/684838*6/(-15))/(-8). Let l = y + 3/17788. Let w = -8/11 + l. Which is greater: w or 1/5?
w
Let f be 1 - 18/14 - 693/(-196). Let h = -971 - -971. Which is smaller: h or f?
h
Suppose -13*f + 7*f - 30 = 0. Let h(s) = -s**2 + 3*s - 17. Let p(o) = -3*o**2 + 11*o - 51. Let u(z) = -7*h(z) + 2*p(z). Let m be u(f). Is 37 greater than m?
False
Suppose 4 = n + n. Suppose 5*c - 15 = n*c. Suppose 14 = 4*y - 7*t + 2*t, -c*y = -2*t - 9. Which is bigger: 1/75 or y?
y
Let g = -118 - -125. Let o(f) = -f - 4. Let x be o(-5). Suppose -w = -6 - x. Is g bigger than w?
False
Let p = 1456/23 - 252141/3979. Is p >= -1?
True
Suppose 26*l - 85 = 21*l - 4*k, 0 = -2*l + 5*k + 1. Suppose 0 = 3*u - l - 23. Which is smaller: u or -10?
-10
Suppose b = p + 18, 4*b 