True
Suppose 17*j - 137 = 16*j. Suppose o = 1, -4*o + 9 = s - j. Are -2 and s nonequal?
True
Let r be ((-692874)/(-56))/47 - 7/(-4). Is 279 at least as big as r?
True
Suppose 12*r + 8 = 68. Suppose 48*a - r = 43*a. Is a bigger than 0?
True
Let d(v) = -8*v**2 + 35*v + 6. Let t(r) = 9*r**2 - 33*r - 7. Let w(h) = -3*d(h) - 2*t(h). Let i be w(9). Is 132 equal to i?
False
Let h(q) = -q**3 + 11*q**2 + 7*q + 65. Let j be h(12). Suppose -4*o + 19 = -p - 9*o, -j*p - 149 = -2*o. Is -30 less than p?
True
Let n = 16444201920482/573 + -28698424343. Let t = 8328 - n. Which is smaller: t or 0?
0
Suppose 70*y = 86*y - 512. Suppose 0 = -h + 6 - 20. Let u be 96/y + 46/h. Is u < -5?
False
Suppose -3*i - 4*x = 2417, -4*i - 1338 = -2*x + 1936. Is -815 bigger than i?
False
Let p be 62/12*930/14725 - (-3)/(-10). Let i(m) = m**2 - 3*m. Let c be i(3). Does c = p?
False
Suppose -2*p = -0*p - 24. Suppose -9 = 9*n - p*n. Let s(a) = a**2 - 3*a - 4. Let i be s(n). Which is smaller: 0 or i?
i
Let a(t) = t**2 + 62*t + 189. Let m be a(-17). Does -575 = m?
False
Let k = -1634 + 1642. Let c be (-20)/9 - 4/(-2). Which is smaller: k or c?
c
Suppose -2*a + 19 = 37. Let k = a + 8. Which is smaller: 42 or k?
k
Suppose 0*z = -4*z + 2*c + 14, -z = -c - 6. Which is smaller: z or 77/39?
z
Let x = 3.996 + -4. Let f = 9547 - 9546.7. Is f > x?
True
Let u = -1497.7 - -1496.7. Which is smaller: u or 4790?
u
Suppose -11*t = -12*t + 4. Suppose -5*a + t*k = -a - 48, -2*k + 2 = 0. Let s(g) = -g**3 - 3*g**2 + 7*g. Let n be s(-5). Is n at least a?
True
Suppose -2*o = 2*a - 2, -5*a + 2*o = -2*o - 32. Suppose -a*n - 40 = -u - u, -4*n - 42 = -u. Is -4 less than or equal to n?
False
Suppose 8 = -9*j + 17. Let o = -6/179 - -785/18079. Which is greater: o or j?
j
Let q be (-9450)/(-15825)*(-30)/(-12). Is q at least as big as 1?
True
Let x be 5 + -5 + -12 + 4 + 3785. Which is smaller: x or -2?
-2
Let p = 536 - 536.0574. Let i = 0.0426 - p. Is 0.1 at most as big as i?
True
Let n be (1/3)/(24/176). Let x = -116/45 + n. Let j = 26 - 26. Which is smaller: x or j?
x
Let t = 2404.41 - -102.59. Are 4 and t equal?
False
Let m be 46/(-23) - 209/(-1*1). Let f = m - 196. Is 8 >= f?
False
Suppose y - 115 + 59 = 5*x, -y + 36 = -3*x. Let t = 0.2 + -0.1. Let a = -1.1 + t. Is x < a?
True
Let z = 19319 + -18080. Is z < 8672/7?
False
Let q = -194 + 107. Let k = -87.57 - q. Let i = -0.43 + k. Which is bigger: 1.7 or i?
1.7
Let h(d) = -2*d**2 - 11*d + 5. Suppose -5*l - 3 = -5*z + 12, l - 9 = 5*z. Let a be h(l). Is 63/5 equal to a?
False
Let s = -1295/7961 + 2/419. Suppose u + 5*w + 15 = w, 4*u + 3*w + 60 = 0. Let p be 5/(u/11) - -3. Which is greater: s or p?
s
Let d = -577.4 - -555.4. Is -0.011 at most as big as d?
False
Suppose -2882 = -20*k + 31*k. Which is bigger: -263 or k?
k
Suppose -5*y + 12 = -4*q + 55, -58 = 5*y + q. Let p be 8 - (10 + 0) - 11. Which is smaller: p or y?
p
Let g be 7/((-98)/(-6)) - (-39)/7. Let l be (g/(-14))/(3 + (-27)/12). Does -1 = l?
False
Let t = -4390 + 11614. Is t equal to 7224?
True
Suppose 5*r + 8*b = 7*b + 2, r + b - 2 = 0. Suppose 4*l + g - 3 + 1 = r, 2 = g. Let v = -26879/19 + 1415. Which is smaller: l or v?
l
Let q = 25.876 + -27.876. Is -1082/19 at most as big as q?
True
Suppose -4*y - 2*f = -550, -5*f - 397 - 253 = -5*y. Which is greater: y or 132?
y
Let a be 2/(-11) - 4/(-44)*-5025. Let c = 12793/28 + a. Let i = -55/84 + c. Is -2 bigger than i?
False
Let g = -816 + 814.98. Let u = 107.02 + g. Is u less than or equal to 2/5?
False
Let n be (-93)/91 - (-2 - -1). Let h(x) = 29*x - 73. Let a be h(10). Let p = 217 - a. Which is bigger: n or p?
p
Let k = 54749/7 - 7821. Is 17088 >= k?
True
Let y(a) = 2*a**2 + 4*a + 5. Let q = -26 - -24. Let i be y(q). Suppose -2*k - i = -5. Is 12/23 >= k?
True
Let s be ((-15056)/(-56))/(60/77). Let l = s + -345. Which is smaller: -1 or l?
-1
Let a be (3 - -7)/((-19)/(188993/(-14))). Is 7106 < a?
False
Suppose -2*d + 101 - 315 = 0. Let s = d + 108. Is 11 smaller than s?
False
Let t be (-102)/(-15) - (-2)/5. Suppose 212 = 2*u + 4*y, 8*u + y - 512 = 3*u. Suppose -9*q = 8*q - u. Is t at least q?
True
Let f be -3*(75/(-9) - 0) - 3. Suppose 13*o - f*o = -81. Which is smaller: 7 or o?
7
Let o be (-162)/10 - 1/(-5). Let p = -53 + 59. Let i be ((-18)/p)/(-1) + -20. Which is smaller: i or o?
i
Let v(b) = -b - 10. Let o be v(-15). Suppose c + o*p = 86, 3*c - 243 + 57 = 3*p. Are c and 67 nonequal?
True
Let s(k) = -k - 9. Let h be s(-10). Suppose q - 59 = -4*u, 5*q - 2*u - 360 = h. Let f = -425/6 + q. Which is smaller: f or -1?
-1
Suppose 0 = 4*v - 4, l = -3*v - 20 - 20. Suppose -4*m - 7*m = -1892. Suppose z + 124 = -3*c, 2*c - m = 6*c - 2*z. Are l and c nonequal?
True
Let m be ((-8)/(-36) + (-4)/18)/(-20 + 21). Is 18/433 less than m?
False
Suppose -2*m = -m - 12. Let x(c) = -2*c**2 - 7*c + 51. Let i be x(-7). Suppose -i*j + 6*r = 2*r - m, 0 = -j - r + 3. Is 4 at most as big as j?
True
Let b = 31/142 + -283/1278. Let i = 1939/7029 + b. Suppose -5*k = -4*k + 1. Which is greater: i or k?
i
Let t be 35 - 2/(-4)*8. Let k = t + -64. Let y be k/9205*-108 + 4/(-14). Which is bigger: 1 or y?
1
Let z be (25 - 15 - 10)*2/6. Do z and -6/827 have the same value?
False
Suppose 27*a - 77*a = -168*a. Let t be 1/(-1) + 552/472. Do a and t have different values?
True
Let p(f) = 75*f + 17099. Let a be p(-228). Suppose 2*r + 4 + 24 = 0. Which is bigger: a or r?
a
Let y = 251 - 272. Suppose 3*s = 4*i + 13, -5*s + 17 = -3*i - 10*s. Let w be (4 + i - 19)/1. Which is bigger: y or w?
w
Suppose 2*n - 2*t - 148 = 0, -3*n = -229*t + 231*t - 202. Is 69 greater than n?
False
Let w(t) = 4*t**3 + 2*t**2 - t + 2. Let z be w(-2). Let b(r) = 149*r**2 - 9*r - 7. Let k be b(-1). Suppose -k = -10*y - 341. Is z bigger than y?
False
Let a = 0.12 - 0.32. Let u = -7.93 + 8.45. Which is smaller: u or a?
a
Let d be ((-1)/(-2))/((-349)/5569342) - -1*2. Is -7977 >= d?
True
Let s = 0.38 + 1.62. Let o = -0.89 - 0.01. Let j = 2.1 - o. Which is smaller: j or s?
s
Let j be (-4)/(-5) - (-3 - (-15788773)/2485). Let i = j - -6350. Which is smaller: i or 1?
i
Let u = -275 + 274.38. Let t = -0.38 + 0.5. Let h = u + t. Which is smaller: h or -3?
-3
Let h = 7485 + -7485.0184. Is h > -1?
True
Let n = -113424 - -113370.009. Let j = n - -54. Let m = 0.191 + j. Which is bigger: m or 0.45?
0.45
Suppose -21*b + 24195 + 7999 = -27803. Which is bigger: 2856 or b?
b
Suppose 12*w - 18*w + 2020 = -16*w. Which is bigger: -209 or w?
w
Suppose -3*x - 2*x = -5. Suppose 5 - 3 = -3*o - b, -8 = -2*o + 4*b. Let z be (-291)/96 + 3/1 + o. Which is greater: z or x?
x
Let v(j) = -j**3 + 22*j**2 - 21*j + 2. Let x be v(21). Let l be x/(-6) + 2337/6954. Is l > 0?
True
Let x be 4/1*-105 + 0. Let v be 1/(-2)*x/(-195). Let i(p) = 23*p - 278. Let r be i(12). Which is greater: r or v?
v
Let s be (6/48)/(4/8) + 212/(-1232). Which is bigger: s or -3/4?
s
Let r(k) = 43*k + 2823. Let d be r(-62). Is d <= 210?
True
Suppose 0 = -3*o - r - 3983, 2349 = 4*o - r + 7648. Let z be (84/10)/(o/340). Is z > -2?
False
Let u = 0.1 - 0.1. Let i = 6.217 + -6.147. Which is bigger: i or u?
i
Let l = -3542 + 3563.18. Is l at most -0.1?
False
Suppose -z - 6 + 102 = -4*r, 345 = 4*z - 3*r. Let y be 9*(-7)/z*-12. Let c(a) = -a**2 - a + 7. Let s be c(0). Are s and y non-equal?
True
Let n = -3668 + 3596. Which is bigger: -58 or n?
-58
Suppose 32805 = 37*s - 4306. Is 1002 greater than s?
False
Suppose -8*j + 113 = -671. Suppose -97 = -f - j. Are f and 1/13 non-equal?
True
Suppose -3*k = -5*r - 11, 0 = -k + 11*r - 12*r - 7. Let w be ((-171)/(-18))/((k/(-1))/(-3)). Let l(n) = n**2 - 8*n + 5. Let s be l(5). Which is greater: w or s?
w
Let i = 138 - 68. Let m = 873 - 801. Let c = i - m. Do c and -1/17 have the same value?
False
Let z be ((-215)/(-43))/((-4 - 1) + 0). Which is smaller: -2/24735 or z?
z
Suppose -4310 = -30*m + 1450. Let b = -1545/8 + m. Which is smaller: b or -1?
b
Let u = -12 + 3. Let f = -7.4756 + -1.5244. Do u and f have different values?
False
Suppose -16*o + 11740 = 16*o - 15332. Which is smaller: o or 0?
0
Let l = -43315/193019 - -56/251. Which is smaller: l or 0.4?
l
Suppose -16*g = 56*g - 157 + 13. Is 50/79 at least g?
False
Suppose 3*n = -t + 146, -5*n - 56*t + 227 = -52*t. Which is smaller: 70 or n?
n
Let p be 3/(357/(-126) - 1*-3). Suppose 22*o - p*o + 108 