 or q?
q
Suppose -3*v = -12*i + 13*i - 6, 4*i = 2*v + 10. Are 10/33 and v nonequal?
True
Suppose 0*i + 8 = 4*i. Let u be ((-2)/(-3))/(110/363). Which is smaller: i or u?
i
Let w be (-3)/5 + 181407/(-55). Let i = 3296 + w. Let u = 52/33 + i. Are u and 2 non-equal?
True
Suppose 0 = l + 2*l. Let i = -10/171 - -59/684. Which is greater: l or i?
i
Let t = 67/429 + 1/39. Suppose 12 = 5*m - 13. Suppose -5*w = k - 2*w - 8, -3*w + 14 = -m*k. Do k and t have different values?
True
Suppose -z = -3*q + 1, z + q - 26 = 5*z. Let i be z/14 + (-22)/(-4). Suppose 0 = i*p - 5*g + 25, -g = -p + 5*p + 40. Which is smaller: p or -10?
-10
Suppose -5*j + 5*s - 76 = -j, j = -s - 10. Let w be (j/28)/((-1)/(-2)). Let c be ((-1)/3)/(w/3). Is 0 at least c?
False
Suppose 0 = r + 5*s + 1 + 12, -4*r = -5*s - 23. Suppose -23 = -3*v - 8. Suppose -3*d = 2*d + v. Which is smaller: d or r?
d
Let f be (-1)/(-1) + (-15)/7. Let q be ((-1122)/48 + 2)*(-1)/(-21). Let u = f - q. Which is greater: u or -1?
u
Let t = 0 + 0. Let y = 49.803 - -1.197. Which is bigger: y or t?
y
Suppose 5*a = 10, -x - 3*a = -2*x + 316. Is 323 < x?
False
Let w be 2*(-5)/(-15)*12/(-32). Let g = -0.3 + 0.6. Is w less than or equal to g?
True
Let t be 39/10751*3/((-36)/8). Are t and 1 equal?
False
Let u be (1/(-1))/1 + -8. Let m = u + 14. Is 4 smaller than m?
True
Suppose 20 = -5*a, -5*u + 265 = a - 361. Suppose 5*j + u = 21. Which is smaller: j or -20?
j
Let t be (-97)/(-12) + (-6)/(-9). Let d be 6 + ((-272)/102)/((-4)/6). Is t >= d?
False
Let l = -2/12341 - 36733/1789445. Are 0 and l equal?
False
Suppose -11*j + 2*j + 45 = 0. Is j at least -27?
True
Let u = 5896 + -64805/11. Is 4 at most u?
True
Suppose 5*h - 4*k = -20, -3*h - 2*k + 0*k = 12. Let r be 10/4*h*(-154)/105. Which is smaller: 15 or r?
r
Let o = 43/2 + -22. Let r = 793 - 38859/49. Is r <= o?
False
Let d = -6 - -4. Let h be (-1)/(-5) - 78/(-10). Let w be (14/(-7))/(h/2). Which is bigger: w or d?
w
Suppose 5 = -3*r + 35. Let i(v) = -v**2 - 7*v + 5. Let p be i(-6). Is r at least p?
False
Suppose 520*o = 512*o + 392. Which is smaller: o or 47?
47
Let l be -19 + 1/(-2)*-2. Let w = -5 - l. Let p be 24/36 + w/(-33). Is 1 less than p?
False
Let x = -83059/5478 - 4/913. Let m = x + 15. Which is bigger: m or 0?
0
Let l = -1236 + 1212. Let b(m) = -25*m**2 + 2*m - 1. Let x be b(1). Is l at least x?
True
Let t be (-10)/(-12)*(-4 - (-248)/80). Which is smaller: -0.072 or t?
t
Suppose -233*q + 239*q = -2010. Which is bigger: -334 or q?
-334
Let w(j) = j**3 - 7*j**2 - 6*j - 10. Let v be w(8). Let l be 3 - 1 - 32/(-10). Let s = l - 73/15. Which is greater: s or v?
v
Let p = 143 - 126. Is p greater than or equal to 0?
True
Suppose 40*f + 40 = 50*f. Which is bigger: f or 6?
6
Let m = 31 - 63/2. Let u(g) = -g**3 - 3*g**2 - 2*g - 1. Let s be u(-1). Is m < s?
False
Let o(r) = 2*r - 4*r**3 - 8 + 3*r - 9*r**2 + 12*r**2 + 3*r**3. Let c be o(4). Which is bigger: c or -17/5?
-17/5
Let w be (-2)/18*6/(-4). Let a(s) = -s**3 - 21*s**2 + s + 22. Suppose -16*u = -32*u - 336. Let v be a(u). Which is bigger: w or v?
v
Suppose 0 = -2*q + 7*q + 1560. Is q at least as big as 1?
False
Suppose h + 3*z + 37 - 11 = 0, 9 = -3*z. Let r be (-3 - (-18)/6)*1. Is h smaller than r?
True
Suppose -232 = -5*k - 3*a, 2*a + a = 2*k - 76. Suppose -4*z = 3*m - 135, 0 = 5*m + 2*z - 251 + 26. Is m <= k?
False
Suppose 4*u - s + 4*s + 29 = 0, 0 = -2*u + s - 7. Let d(b) = 3*b + 22. Let t be d(5). Let f = 35 - t. Which is smaller: u or f?
u
Suppose -2*q = 5*q + 7. Suppose -3*c + 13 = 5*z, c + z = -3*z + 16. Is q at least as big as c?
True
Let y = 2 - 2. Let s = 28 - 29. Let b be s/(-4)*21/(-14). Which is smaller: y or b?
b
Let t = -2.94 + -0.06. Let l = 0.075 - -2.825. Let o = t + l. Which is smaller: -0.05 or o?
o
Let v = 1464/247 + -304592/57057. Let d be (-6)/(-27) + 8/99. Let h = d - v. Is 1 < h?
False
Let p = 16.996 + 0.004. Let x = p - 17.1. Let v = -0.2 - 0. Is x less than or equal to v?
False
Let a be (-2198)/(-4) - (42 - 43). Which is smaller: a or 551?
a
Let v(h) = h + 70. Suppose -15 = -2*y - 5*s, -3*s - 9 = -y - 6*s. Let t be v(y). Let g be 1/2 + (-21)/t. Which is smaller: g or -1?
-1
Let n = -281 + 165. Let i = n - -100. Let g = -26 + 11. Which is smaller: g or i?
i
Let k(n) = 2*n**2 - 15*n - 54. Let f be k(10). Is 2/15 bigger than f?
True
Let k(h) = -h - 5. Let c be k(-3). Suppose -25*a - 56 = 119. Is a < c?
True
Suppose 7 = -4*b - 5, 5*h - b = 158. Suppose 16 = m + 3*g, m + 4*g - h + 10 = 0. Is m at least -3.1?
True
Let k = 0 + -2. Let r be 1/(-1*(-2)/34). Let g be k/r*(-3)/3. Which is smaller: g or 0.1?
0.1
Let c = -29 - -14. Let f(p) = 4*p - 117. Let b be f(32). Let a = c + b. Is a != -5/2?
True
Let w = 1765.14 + -1.14. Is w at least 1?
True
Suppose 6*p + 2032 = 1378. Is -113 greater than p?
False
Let x be (-567)/(-113) - (-20)/(2 + -6). Which is bigger: 0 or x?
x
Let f be ((-2952)/380 - -2) + 4/10. Let h = f + 486/133. Do h and -3 have different values?
True
Let l = -188 + 223. Is 33 at least as big as l?
False
Let k be 0 + (1 - (1 - 64)). Let u = -100 + k. Let j be u/40 - (-1)/2. Which is greater: 2 or j?
2
Let m = 1304 + -6557/5. Let r = -239/35 - m. Let t be (1/4)/((-1)/2). Which is greater: t or r?
r
Let s(y) = 5*y + 11. Let k be s(-3). Let m be (k/(-6))/((-6)/(-279)). Is m > 32?
False
Suppose 4*r - 333 - 439 = 0. Suppose 0 = 2*m + 2, -r = 5*o + 4*m + 101. Which is smaller: o or -59?
-59
Let s = -39 - -41. Let l = 15/14 - -3/7. Is s >= l?
True
Let m(v) = -2*v**2 - 19*v - 90. Let l be m(-5). Let j be ((-44)/55)/((-2)/(-115)). Is j bigger than l?
False
Let c(k) = k**2 - 5*k + 7. Let z(o) = 2*o**2 - 10*o + 13. Let y(n) = -5*c(n) + 3*z(n). Let d be y(4). Which is greater: d or 4/33?
4/33
Suppose 4*v - 4*r - 84 = 0, -2*v - 5*r + 11 = -17. Which is smaller: v or 101/5?
v
Let w(j) = 2*j - 20. Let q(r) = r**2 - 3. Let d be q(-3). Let f be w(d). Which is smaller: f or -9?
-9
Suppose -178 = -4*y + 346. Which is smaller: y or 132?
y
Let y = -595 + 522.5. Is y <= -0.1?
True
Let d = 2527/16 + -158. Is d != 1?
True
Let m = 5.4 - 5.3. Is m greater than 3?
False
Suppose 0 = 2*l - n - 38, l + 14 = 2*l - 3*n. Let k = 3354 + -3355. Is l smaller than k?
False
Suppose -5 = -2*u + 3. Let k(d) = -3*d + 13. Let x be k(u). Which is smaller: 2/5 or x?
2/5
Suppose 0 = 10*f + 230 + 70. Let q(i) = i**2 - 19*i - 11. Let l be q(18). Which is greater: f or l?
l
Let i = -4 + 8. Suppose -4*r - 45 = r - i*k, -30 = 5*r - k. Let v be (2*3)/(43 - 45). Which is smaller: v or r?
r
Let j = 493 - 506. Is j bigger than 1?
False
Let a(q) = -q**2 - 9*q - 14. Let v be a(-7). Let n(z) = z**2 + z + 16. Let w be n(v). Is w less than 17?
True
Let r be (3/(-15))/(2/15). Let f = -2 + 6. Let s be ((-8)/10)/(f/20). Which is greater: r or s?
r
Let b be (-8)/20 - (-113)/20. Is b less than 6?
True
Suppose -7 = o + 3*m, 2*o = 4*o - m. Which is smaller: o or 0.204?
o
Let t = -226 + 145. Which is smaller: -2 or t?
t
Let m = -238 + 178. Does -178/3 = m?
False
Let y = 256 - 282.8. Let f = y - -27. Let d(a) = -2*a**2 + 4*a - 3. Let p be d(3). Which is greater: p or f?
f
Let u = -12 - -10. Let w(h) = -2*h**2 - 11*h - 16. Let o be w(u). Is 3/8 smaller than o?
False
Suppose 5*h = 12 + 3. Suppose -7*u - 10 = h*u. Which is smaller: u or -5/11?
u
Let g = 144 + -132. Is g <= 1?
False
Suppose -3*x - 4*j - 67 = -16, 3*j = 9. Suppose 149 - 61 = -4*q. Let f = q - x. Which is bigger: 8 or f?
8
Let n = -113834/93 - -1224. Suppose 4*b - r = 463, 6*b + 121 = 7*b + 5*r. Let t = b - 117. Do n and t have different values?
True
Let r be -10 + 4 - (-4785)/798. Which is bigger: 0 or r?
0
Let u be -7 + 1 - 5221/(-897). Which is smaller: 1 or u?
u
Let p(m) = 35*m - 20*m - 17*m + 21. Let a be p(-10). Which is bigger: 40 or a?
a
Let y = 12 - 10. Let p = -1 + y. Which is smaller: p or -37?
-37
Let j = 146 + -147. Let h be 2/(-9) - 28/(-99). Which is smaller: j or h?
j
Let l = -832 - -823. Suppose -4*g = 1 + 3. Let s be -1*(0/g + 10). Are l and s unequal?
True
Let q = 2/33 + -37/66. Is q at most -36?
False
Suppose -16 = a - 4*h, 0 = a + 50*h - 46*h - 16. Is 5/42 greater than a?
True
Suppose -4*r + 15 - 3 = 0. Let a be -3 - (-2 + r)*-139. Does 137 = a?
False
Let c = 2/1245 - -9946/8715. Which is bigger: 26 or c?
26
Let u = -317 + 322. Let m be (4/(-6))/(1/3). Let i = u -