5 and x equal?
False
Suppose 0*o = -3*o + o. Suppose 4*t + 2*x + 11 - 5 = 0, -3*t + 4*x + 1 = o. Is t <= -15/34?
True
Let h(j) = j + 15. Let w be h(-9). Suppose -w*b - 3 = -3*b. Let x = -1.1 + 1. Which is bigger: b or x?
x
Let l = 0.65 + -40.65. Let g = -50 + 81. Let u = l + g. Is u at least as big as -2?
False
Let s be (-42)/(-336) + (-7202)/16 + -7. Is s at most -457?
True
Suppose -47*t + 74 = 47*t - 20. Which is greater: 2/79559 or t?
t
Let b = -142510.91 + 142511. Let t = 3.89 + 0.11. Is t at least as big as b?
True
Suppose 4*a + 2520 = 11*a. Let r = 353 - a. Which is smaller: r or 2?
r
Let s be (-12)/(-10) + 50687/(-1560) + (-4)/(-6). Which is smaller: -32 or s?
-32
Let y be ((-13)/52)/(2/(-16)). Suppose 4*x = -g - 7, y*g - 3*g - 2*x - 1 = 0. Let r be -5 - -1 - (-3 - g). Is r less than or equal to 6?
True
Let i = 521 - 1257. Which is greater: -733 or i?
-733
Let t = -17.01947 - -0.01947. Which is greater: t or -1.05?
-1.05
Let o = 5.91 + -662.91. Let a = 658 + o. Which is smaller: a or 60/7?
a
Let w = 1476 + -1544. Which is greater: w or 61?
61
Let t = 30 + -24.4. Let a = t - 8.6. Let v = -1.97 - 0.23. Which is smaller: v or a?
a
Suppose 11 - 31 = -5*j. Suppose -288 = -5*w - j*w. Suppose 4*m = -4*p - w, 6 = -5*m + 3*p - 10. Which is smaller: -24/5 or m?
m
Let q = 2737 + -2749. Let x = -24 + 8. Which is bigger: q or x?
q
Let r(m) = 5*m**3 - m**2 + 18*m - 46. Let x be r(4). Does 3 = x?
False
Let n(p) = -p**3 - 62*p**2 - 115*p + 262. Let u be n(-60). Do 6.1 and u have the same value?
False
Let a(t) = 4*t + 3. Let p be a(0). Suppose 6 = -p*o + 4*o. Suppose -u - 5 = -o. Is 9/5 != u?
True
Suppose -161*q - 108*q = 1665648. Is q greater than or equal to -6191?
False
Let u = -68243327/1157 - -58983. Which is greater: 1 or u?
1
Suppose 0 = -12*m + 11*m + 104. Let p = -14143/136 + m. Are 1 and p non-equal?
True
Let l be (-29)/(-9) + 6/(-27). Suppose -u + 0 + 10 = 0. Let a be 18/(-30) - 4/u. Do a and l have different values?
True
Let z = 150/37 + -62871/148. Let j = 421 + z. Which is smaller: -7 or j?
-7
Let n(c) = 6*c**2 - c - 3. Let m be ((-7)/42)/((-1)/4)*-96. Let s = m + 61. Let x be n(s). Which is bigger: 53 or x?
x
Let c(n) = n**2 + 14*n + 14. Suppose 112 = 6*a - 10*a. Let p = a + 22. Let s be c(p). Is -1 less than s?
False
Let d(t) = t**2 + 2*t - 3. Suppose 0 = -2*b + 2, 27 = -4*s + b + 170. Let a = 32 - s. Let x be d(a). Which is greater: x or 6?
6
Let z = -6 - 9. Suppose -q = -3*g - 46, -g + 13*q - 10*q = 2. Is z greater than g?
True
Let x be ((-54)/135)/(2/60). Let i be ((-10)/4)/(95/(-228)). Let q be i/36 + 14/x. Which is smaller: q or 17?
q
Suppose 0 = -60*w - 17*w - 32*w. Which is smaller: w or 2/6253?
w
Let t(w) = 4*w**3 + 6*w**2 - 8*w + 2. Let n = 1 + 1. Let i be t(n). Which is greater: 40 or i?
i
Let t(j) = -3*j**2 - 70*j - 19. Let c be t(-23). Let d = -73.1 - -79. Let r = 6 - d. Is c less than r?
False
Suppose -3*z - 5*j + 120 = 2*z, 0 = 2*z - 3*j - 38. Let v be (39 - z) + 1/(-1). Which is smaller: v or 10?
10
Let l(s) = -2*s - 2. Let j be l(-3). Let a(t) = -3*t. Let f be a(-2). Suppose -8 = j*v - 0*v - 3*r, 3*v + 2*r = -f. Are -0.11 and v unequal?
True
Let y = 14.65 - -1.85. Let v = y + -16.3. Is v < -0.8?
False
Suppose -3*s + 388 = -5*p, -4*s + 5*p + 233 = -276. Let k = s + -116. Which is greater: 9 or k?
9
Let s be 103/(-2163)*3*8. Which is smaller: s or -9.14?
-9.14
Let z be (-1 + -17 - 0)/(11 + -10). Suppose b + 3 = 0, 3*g + 4*b + 354 = g. Let x = 151 + g. Is x less than z?
True
Let t = -93 + 97. Suppose 3*c = -5*w + 43, -2*w + 15 = -t*c + 3. Which is greater: 7 or w?
w
Let i = 1.0607 + -1.0507. Which is bigger: i or -1667?
i
Let p be (-2 - -7) + (102 - 107). Is 42/157 greater than p?
True
Let v = 41348/5 + -992357/120. Suppose -5*d - 3*i = 20, -4*i - 30 = 5*d + i. Which is greater: d or v?
v
Let p(n) = 6*n + 51. Let c be p(-10). Let a be (-6)/14*c/(1404/333102). Let r = -915 + a. Which is smaller: 1 or r?
r
Let b = 3.5133 - 3.3837. Which is smaller: 3 or b?
b
Let f = -193/1705 + 8/55. Let u(j) be the second derivative of j**3/6 + j**2/2 - 3*j. Let t be u(-1). Is f greater than t?
True
Suppose -14 = -3*t + 10. Let y be (6*t/(-128))/((-2)/132). Which is smaller: y or 26?
y
Let w be 303*(15 - 112/48). Which is bigger: w or 3836?
w
Suppose -5*h + 36 = -i + 8, h = 5. Let m be (i - -4)/((-310)/156 - -2). Let v = 104 - m. Which is smaller: v or 28?
v
Let c = 0.44 - 28.44. Let d = -43 - c. Let m = 45699 + -45701. Is m greater than or equal to d?
True
Let a be ((-1550)/(-217) + 1*-7)/(130/35). Which is bigger: 2/223 or a?
a
Let o be 1 + -1 + (34 - 5954/156). Suppose 0 = 8*b - 5*b + 15. Is o greater than or equal to b?
True
Suppose -5*c + 15 = -2*c. Suppose -2*f + 22 = 4*u, -2*f - u + 6 = -16. Suppose f*a = 16*a - c. Which is smaller: a or 11/7?
a
Let t(f) = 1464*f + 16103. Let p be t(-11). Which is bigger: 74/437 or p?
74/437
Suppose 0 = -106*z + 111*z - 5*t + 225, 2*z = t - 86. Suppose -w - 5*r = 22, -4*w + 2*r - 160 = 4*r. Is z < w?
False
Let w be 54/45 - 1 - 68/(-10). Let p(f) = -f**3 + 3*f**2 + 15*f - 5. Let l be p(w). Let k = -103 - l. Are k and -25/4 equal?
False
Suppose 5*i = 3*b + 92, 53 = -2*b - 0*i - 5*i. Suppose 70 = -2*f + 9*f. Let n be f/(-2)*(-4)/12*-18. Which is smaller: n or b?
n
Suppose 0 = 108*z - 101*z + 280. Let a = 266 + -312. Which is greater: z or a?
z
Suppose 0 = -5*l - 69 - 41. Let k(j) = -2*j - 10. Let a(v) = v - 6. Let q(z) = -2*a(z) - 2*k(z). Let y be q(-28). Which is smaller: l or y?
y
Let k = -22 - -22.1. Suppose 35*i = 37*i + 162. Let c = i - -813/10. Are c and k equal?
False
Let c(r) = -2*r**2 + 3*r + 230. Let w be c(-10). Do w and -2/195 have the same value?
False
Let b = -97 - -40. Let s be (21/(-63))/((-3)/3). Is b at least s?
False
Let m = 431 + -472. Let y(o) = 3*o**2 - 41. Let a be y(0). Is a != m?
False
Let j(u) = 342*u + 2055. Let r be j(-6). Do r and -0.38 have different values?
True
Let s be (1/(-3) + 0)*(-4 + 13). Let w = s - -3. Which is smaller: -1/147 or w?
-1/147
Suppose 0 = -1914*r + 1909*r. Is 13/617 at most r?
False
Let i = 130 + -128. Suppose -4*m = i*m + 156. Which is smaller: m or -27?
-27
Let w = -35 - -29. Let c be 2 - 0/(-1) - (w + 5). Suppose c*n - 14 = -3*a - 5, -2*a + 18 = -4*n. Which is greater: 11 or n?
11
Let k(l) = -15*l + 644. Let p be k(43). Which is bigger: p or -27/170?
-27/170
Let i = 27.61 + 1152.39. Is i smaller than -0.05?
False
Suppose j - 5*a - 63 = 0, 4*j - 162 = -0*j + 2*a. Let l = 748 - 33. Let g = -676 + l. Is j at least as big as g?
False
Let z be (-9 + (-291)/(-33))/(-1). Which is smaller: z or 662?
z
Let f be 1 - ((-44)/55)/((-2)/(-5)). Suppose -20*v - 187 = -f*v. Which is smaller: -8 or v?
v
Suppose r + 907 = 2*o + 4*r, -5*o + 2285 = 4*r. Suppose 9*b - o = 106. Is b equal to 64?
False
Let d be (-9)/3*(-3772)/1708. Let f = 12/61 - d. Suppose 2*s = -31 + 19. Is f greater than s?
False
Suppose -5*t + 5*v + 575 = 10*v, v - 587 = -5*t. Suppose -17*c - 69 = t. Suppose 6*q - 2*q + 5*b + 47 = 0, 28 = -2*q + 2*b. Is q != c?
True
Let i be 0/(4 - (1 - -6)). Are 42/1343 and i equal?
False
Let t be (-12)/9*(13/(-52) + -2). Are -134 and t equal?
False
Let w = -1162.7 - -44.7. Let u = w - -1118. Let j be 1 - 1/(-2) - 0. Which is smaller: u or j?
u
Let j = 786 + -768. Which is smaller: j or 19?
j
Let o be 1/((-3)/105)*-4. Suppose -3*z + 140 = -4*t, 5*z - 2*z = -4*t - o. Suppose 63*w = 58*w + q - 7, 0 = 3*w + 4*q - 5. Is w greater than or equal to t?
True
Let o be (2/(-18098))/((-2)/(-4)). Which is smaller: o or -1?
-1
Let p(x) = 22*x**3 + 133*x**2 - 5. Let f be p(-9). Which is greater: f or -5271?
f
Suppose -10*m + 26 = 3*m. Let j be 25/(-100) + 191/(-4) + m. Which is smaller: j or -2?
j
Suppose -2*k - 14 = -2*p, 5*p - 451 = -416. Which is greater: k or -1/11785?
k
Suppose 5*g = -3*y + y - 322, -5*g - 3*y - 318 = 0. Let x be ((-10303)/3 - -3)/(g/9). Let v = x + -469. Which is smaller: -1 or v?
v
Let j be (-80)/10 + 9 + (-10908)/(-6). Are 1820 and j non-equal?
True
Let v(x) = -2*x - 14*x**2 + 31 + 14*x**2 + 8 - x**3 + 17*x**2. Let k be v(17). Suppose k*z + 24 + 62 = 2*n, -3*n + 120 = -3*z. Is n not equal to 37?
True
Let n = -414/17 + 52/51. Let h = -571.19 + 569.19. Which is smaller: n or h?
n
Let s(i) = -756*i**3 + 15*i**2 + 28*i - 8. Let c be s(-2). Is 6044 < c?
Fals