 value?
False
Let b be (-1)/(-222)*618/(-515). Does 1 = b?
False
Let s = 90 - 75. Let w be (s/(-50) - -1)*24/(-42). Does w = -58.8?
False
Let k = -452/135 - -354646/3105. Is k less than or equal to 111?
True
Suppose 281*s - 265*s - 23712 = 0. Are s and 1482 unequal?
False
Let b = -0.48 + 0.08. Let j = -1 - 140. Let x = j + 148. Is x >= b?
True
Let a = -97.2 - -108.2. Which is greater: 0.152 or a?
a
Let x be ((-279)/(-279))/(0 + -3). Which is smaller: x or 552?
x
Suppose -7*l + l - 24 = 0. Let r be (21/(-280))/((-6)/l). Is r >= -1?
True
Suppose 4*p = -2*m + 12, -3*m + 7*m = 5*p + 11. Suppose 4 = m*g - 0. Let d be 1/(-3)*0 - (-1)/2. Is d >= g?
False
Let x(c) = c**3 - 7*c**2 + 3*c - 14. Suppose 4*n + 4*i = i + 9, 3*n - 33 = 3*i. Let f be x(n). Let j(g) = -31*g**2. Let h be j(1). Which is greater: f or h?
h
Suppose 8*v + 159 = 628 + 83. Let y = 48 - 124. Let a = y + v. Are a and 7 nonequal?
True
Let x(w) = w - 7. Let n be x(7). Let c be (-5004)/(-144) + ((-27)/12)/3. Suppose -c*y - 6 = -33*y. Which is smaller: y or n?
y
Let k be 10/(-4)*24/(-10). Let l(s) = s**2 - 4*s - 6. Let d be l(k). Let w = 2 - -2. Is w < d?
True
Let a = -15723 + 19617. Is 3894 bigger than a?
False
Let l(u) = -u**3 - 8*u**2 - 6*u + 7. Let z be l(-7). Suppose z = -5*r - r + 66. Suppose -22*q + 14 = -8*q. Are q and r equal?
False
Let z = -0.8 - 0.2. Let k = 19.073 - -0.127. Let p = -19.9 + k. Which is greater: z or p?
p
Let m = 1.815 - -42.185. Which is smaller: 40/9 or m?
40/9
Let j(g) = -g**2 - 2*g + 3. Let z = 24 - 14. Suppose w + 18 = z*w. Let h be j(w). Which is bigger: -6 or h?
h
Let x(n) = -2*n + 48. Let r be x(24). Suppose r = -30*i + 35*i. Let u be -3 + (-20)/(-5 + i). Is 0.014 greater than or equal to u?
False
Let u = 5280/161 + -590/23. Do 7 and u have the same value?
False
Let p = -2462 + 51682/21. Let o = -38154 - -38154. Which is smaller: o or p?
p
Suppose 0 = 4*d + y - 5*y - 128, 4*d - y - 119 = 0. Suppose -1380 = -d*u + 2187. Are 122 and u nonequal?
True
Let h be 24/21*(-564)/528. Let n = h + -9558/1001. Is n < -10?
True
Suppose -h + 10 = 8. Suppose u = 3*p - 42, -u - 3*p = h*p + 42. Let c = 209/5 + u. Which is smaller: 0 or c?
c
Let x = -1.4736 + -61.8164. Let l = x + 63. Let u = -35715 - -35715. Is l at least u?
False
Let m = 4 - 5. Suppose -4*v - 2*x = 2 - 0, 5*x + 5 = -v. Suppose -u = 3*q + 104, v = -7*q + 3*q - 2*u - 136. Are m and q non-equal?
True
Let r be (-10)/(-4)*(-8)/10. Let v be 14/77*5/r. Suppose 2*q - 3*z + 12 = 0, 3*q + 20 = q + 5*z. Which is smaller: q or v?
v
Let s = -3.6 + -10.4. Let f = 30 + s. Let t = 47 + -47. Which is bigger: f or t?
f
Let n(y) = -y**3 + 4*y**2 + 4*y + 4. Let d be n(5). Let m = -43689880865/2743 + 15927773. Let z = 4/211 - m. Which is bigger: z or d?
z
Suppose -4*z - 3*q = -2675, 2*z = -0*q - 5*q + 1327. Let u = z + -670. Is u at least as big as -19/6?
True
Suppose 11*a = 16*a - 2380. Suppose r + 474 = a. Is 2 > r?
False
Let m be 4 - (-4 - (2 + -7)). Suppose h + 2*h = 0, 0 = 2*d + m*h. Let u(p) = -2*p + 1. Let v be u(d). Which is greater: 5 or v?
5
Let o be 10/90*0*2/4. Suppose -4*f - b + 2*b = o, -5*f + 11 = -4*b. Are 6 and f unequal?
True
Suppose -114 = -31*x + 12*x. Suppose -x*y = -8*y - 12. Which is smaller: -8 or y?
-8
Suppose -12*d - 324 = -240. Let n = 14 + 6. Let f be ((-46)/n)/((-10)/(-25)). Which is greater: f or d?
f
Let s = 43.002 - 36.55. Let n = s + 0.048. Let k = 2.5 - n. Is 2 != k?
True
Suppose -4*b = -9*b + 5*p + 120, -20 = 4*p. Let y(q) = -q**3 - 7*q**2 - 7*q. Let r be y(-5). Let x be 2/r + (-906)/(-45). Are x and b unequal?
True
Suppose y = 2*p + 107, 4*y + 5*p - 419 = -43. Let i be (-880)/(-9) + ((-3)/4)/(459/(-136)). Is y < i?
False
Suppose 20 = -5*m - 2*a, -2*m - 4*a = 27 - 3. Let u be (m + (-58)/2)/(-16 - -15). Let n = u - -53. Do 84 and n have different values?
False
Let w be (31/((-93)/(-2)))/(5/1602). Is w at least as big as 214?
False
Let u = 264 + -257. Suppose 0 = u*w + 4 - 11. Are w and 1/93 non-equal?
True
Let c = -118 - -119.9. Let o = -55 - -54. Which is greater: c or o?
c
Let s = 442 - 441. Let z be -1*s/4*4. Which is smaller: z or 2/537?
z
Let b(x) = x**2 + 8*x + 1. Let r be b(-8). Let a be 2/(-28)*-4 - (-858)/231. Let q be (1392/342 - a)/(2/18). Is r >= q?
True
Let f be (-12)/((4 - -1)/(-5))*10/128. Is 0.018 >= f?
False
Let g = -2971 + 2929. Is g at most 4/7?
True
Let v(w) = 7*w + 63. Let r be v(-19). Is r bigger than -894/13?
False
Let z be 55/(3850/(-20))*(-7)/(-2). Which is bigger: z or -1/1094?
-1/1094
Suppose 61404 = -14*h + 15064. Is -3316 smaller than h?
True
Let i(s) = -5*s**3 + 42*s**2 + 37*s - 366. Let a be i(10). Does -787 = a?
False
Let w = -80 - -81. Suppose -5*r - w = l, -6*l + 4*r - 5 = -l. Let j = 80 - 77. Which is greater: j or l?
j
Let x = -1528 - -1635.82. Let o = x + -107. Let h = 1.12 - o. Which is smaller: h or -25?
-25
Let f = -173 + 368. Let z = -192 + f. Is z smaller than -4?
False
Let g = -5139 + 5492.3. Let z = 334 - g. Is 1 greater than z?
True
Suppose 1620 = 20*n - 2*n. Suppose n = -8*s + 74. Let w be ((-4 - -3)*5)/9. Is s not equal to w?
True
Suppose 2*y - 3*y = s - 2, 2 = -5*y - s. Let c be (6/(-32))/((-525)/(-100))*1. Is y less than c?
True
Let c(q) = -2*q**2 + 280*q + 312. Let f be c(123). Which is smaller: 4495 or f?
f
Let n = -19728.6 - -19736.5283. Let z = 0.0717 + n. Is -7 smaller than z?
True
Let k = -6717 + 5802. Is -915 less than k?
False
Let q be 15/10*(-188)/(-6). Suppose l - 15 = -3*h - 3, -3*l + q = -2*h. Does l = 15?
True
Let j(u) = u**2 + 9*u - 30. Let l be j(-10). Let f = l + 11. Is -9 greater than f?
False
Let i be (-1674)/(-21) + 8/28. Let c be (8/10)/((-2)/i). Is c greater than -34?
True
Let u = -0.2 + 0.1. Let g be (8 + -1)/((-22)/(-3) + -7). Suppose 59*z = 56*z + g. Which is greater: z or u?
z
Suppose -2*z + 174 = -170. Let l = z + -154. Which is bigger: l or 19?
19
Let a = -1017 - -34589/34. Let j = -109/442 + a. Do 2 and j have the same value?
False
Let v(h) = -6 + 4 - 2 + 1 + 5*h. Let p be v(-5). Let x be (-38)/(-56) + 7/p. Which is bigger: x or 0?
x
Let y be -2*2/8 + 504/144. Suppose y*v + 5*i = 18, -3*v + 4*i - 11 = -2*v. Which is smaller: -3/10 or v?
-3/10
Suppose 708 = 2*j + 4*j. Let t = j + -112. Let g be (10/(80/t))/(-1 + 10). Which is bigger: g or -1?
g
Let v(i) = i**2 - i + 1. Let j be v(0). Let q be 154/(-2926) - (-424)/2280. Which is smaller: j or q?
q
Suppose -37*o - 39*o = -91*o - 1980. Which is greater: o or -166?
o
Suppose -3*j = -4*m - 257, -m + 2*m = 2*j - 178. Is j less than or equal to 1?
False
Let r be (2959/(-33) + (-2)/(-3))/(-18). Which is smaller: r or 0?
0
Let g(b) = 269*b - 2012. Let l be g(7). Which is bigger: l or -31?
-31
Let r be -12010*(18 - (-792)/(-40)). Is 21619 at most as big as r?
False
Suppose -2*b = -9*x + 4*x + 5, -4*b + 32 = 4*x. Let q = 0 + -6. Let d be (-3)/q + 51/24. Which is smaller: d or x?
d
Suppose -2*i + 42 = c, -i = -5*c - 19 - 2. Let q be 14/i + (-128)/(-132). Is 2 greater than q?
True
Let c = 14002 - 14003. Is c smaller than -5/3231?
True
Let d(m) = m**3 - 7*m**2 + 75*m - 252. Let x be d(4). Is -31/747 less than or equal to x?
True
Let p(o) = o**3 - 9*o**2 + 23*o - 48. Let g be p(6). Let x(r) = r**2 + 8*r + 7. Let s be x(-7). Which is smaller: s or g?
g
Suppose 0*y + 152 = 4*y. Suppose -v - y = 16. Let n be (-32)/(-225) - (-12)/v. Is 3 less than n?
False
Let x = -7.73 + -1.09. Let y = 8.92 + x. Which is smaller: -325 or y?
-325
Let w(u) = -u**2 - 29*u - 51. Let b be w(-15). Suppose 0 = 14*x - b - 639. Which is smaller: 62 or x?
x
Let k = 496.751 + -497. Let w = k - -0.28. Is w less than or equal to 3?
True
Suppose 2765*b + 60049 = 2754*b. Which is greater: b or -5460?
b
Let q be (325/(-18))/(-13) - (-2)/(-4). Let t be 9/(36/(-8)) - 0. Let g = 3 + t. Which is smaller: q or g?
q
Let z(o) = -8*o - 10. Let a be z(-2). Suppose -378 = -a*t - 1470. Let p = t + 113. Which is bigger: -70 or p?
p
Let l(z) = z**3 - 14*z**2 + 6. Suppose d + 59 = -6*j + 10*j, 5*j - 5*d - 85 = 0. Let g be l(j). Suppose 9*v - 3 = g*v. Is 1/36 equal to v?
False
Let a = -0.13 - -0.2. Let k be (0 + 68/10)*(-2 + -3). Let z = -39 - k. Is a <= z?
False
Let o = 202 + -183. Suppose 0 = -o*d - 13 - 6. Let s = -6419/19 + 338. Which is smaller: d or s?
d
Let r = -46 + 221. Let k = r - 176. Which is greater: 2/415 or k?
2/