). Is -4221 less than y?
False
Suppose 0 = -5*o + 4*d - 341, 4*d = 3*d - 1. Let n = o - -74. Let f(a) = a - 13. Let g be f(7). Are n and g non-equal?
True
Let j = 9 + 0. Let n(t) = -27 - 4*t + 33 + 23 + 17. Let p be n(9). Which is smaller: p or j?
j
Let g(c) = 907*c - 1811. Let k be g(2). Are k and 2/85 equal?
False
Suppose -19*r - 17*r + 25*r = -11. Is 56/23 smaller than r?
False
Let q be (-5)/((-1395)/(-246)) - 24/36. Let l = q - -6994/4557. Which is greater: -3 or l?
l
Let b be (-250835)/1683 + (-4)/22. Let g = b - -150. Which is smaller: g or 0?
0
Let d(s) = -7*s - 3. Let y be d(-4). Suppose y*t - 1980 = 31*t. Let h be (-2)/((-2)/(-2))*t/60. Is 13 greater than or equal to h?
True
Let p = -275.2 - -49.2. Let q = p + 226. Which is smaller: q or 47?
q
Suppose 56*k + 23048 = -78480. Is -1814 equal to k?
False
Let w be (-2)/6 + 24/(-9) + 5. Suppose p + i - 5 = -0*p, 0 = -w*p + i + 13. Suppose p = -19*n + 22*n. Which is bigger: n or 4.1?
4.1
Let a be ((-6)/6*29)/(-1). Suppose 0 = -a*n + 9 + 20. Is -1/26 >= n?
False
Suppose 4*q - 2*y = -11150, 3*q + 2*q - 3*y + 13939 = 0. Is -2786 greater than or equal to q?
True
Let j = 2820.4094 - 2821. Which is greater: j or 0?
0
Let f(x) = 44*x**2 + 2639*x - 58. Let u be f(-60). Is u greater than -0.564?
True
Suppose -10 = 2*d + 3*d. Let z be 1*(-174)/2*d/(-6). Suppose 0 = -2*c - 0*c + 2*s - 72, 4*s = 3*c + 113. Is c bigger than z?
False
Suppose -10*k - 10 = -15*k. Suppose -2*j = -r + k*r + 2, 3*j + r = -2. Suppose j = -2*c - 5*x, -1 = 2*c + 4*x + 1. Is -32/7 less than c?
False
Let s(a) = -a**3 + 38*a**2 + 34*a + 196. Let w be s(39). Is w <= 2/6817?
False
Let x = 224 - 231. Let f = -114 + -19. Let o be 2/14 - f/(-245). Is o > x?
True
Suppose 0*q = -12*q + 312. Suppose -n + 4*n + 5*g = -40, -q = 2*n + 4*g. Does n = -15?
True
Suppose -4*x = -260 - 196. Suppose p = 26 - x. Let f = -69 - p. Is 19 bigger than f?
False
Let w(p) = p**2 - 30*p. Let x be w(30). Which is greater: -2/65625 or x?
x
Let r be ((-155)/55 - -6) + -5. Let m = 812 + -814. Does r = m?
False
Let a = -206 - -247.7. Let z = a - 271.7. Which is smaller: z or 1/4?
z
Let j be 47282/1833 + -21 + (5 + 0)*-1. Is -1 greater than j?
False
Let u be (-8)/(-4095)*((-1537)/(-58) - 25). Which is greater: u or -1?
u
Let v = -660.337 - -599.46. Let q = v + -0.123. Let r = q + 61. Is r at least as big as 21/5?
False
Let c = -43.722 - -43.6. Let n = -0.222 - c. Is -1 less than n?
True
Let r(f) = f**3 - f**2 + f - 219. Let p be r(0). Let g be -1*(0 + p/(-9)). Let d = g + 24. Does d = 0.03?
False
Let w(p) = -p**3 - 6*p**2 - 4*p. Let j be w(-6). Suppose 4*o + 5*b + j = 0, 0*o - 2*o - 10 = 2*b. Let c be (-11)/(-1)*o*(3 + -2). Is -12 not equal to c?
True
Let n be ((-675)/60 + 19)*-4*(-2)/356. Which is smaller: 1 or n?
n
Let s = -29996 + 5249338/175. Which is bigger: 1 or s?
1
Let k = 375497/104 + -3611. Let n = 4297/4 + -167519/156. Let v = n + k. Which is greater: v or -1?
v
Suppose -956*w - 3*f = -958*w - 2018, 4090 = -4*w - 3*f. Which is smaller: w or -1022?
-1022
Let y be -1*(-1 + -4)*(-6 + 1271/205). Which is bigger: y or -41/723?
y
Let g = -8468 - -8472. Which is smaller: g or 3/1483?
3/1483
Let a = -2579/92 - -662/23. Which is smaller: a or 0.3551?
0.3551
Let m = -5406 + 5408. Which is greater: m or -319?
m
Let q be (0/(-12) - 5)/(-1*1). Suppose 20*c = 19*c + 5. Is q at least as big as c?
True
Suppose -3*s + 3*n + 0*n = 21, 2*s - 3*n + 18 = 0. Let d be (5 - s)/40 - (0 - 0). Is d >= -13?
True
Let n = -34253 - -34253.12. Which is greater: n or -0.0107?
n
Let c = 1100017/45 + -24443. Let p be 0 + (-14)/9 + 16/(-24). Let y = c + p. Is -10 bigger than y?
False
Let t(a) = 4*a - 16. Let l be t(6). Let k be (19/(-76))/(14/l). Let j = -75 + 75.3. Which is smaller: k or j?
k
Let z = 14695.17 - 14696. Let f = -12.66 - 1.51. Let x = f + z. Is -3 at most as big as x?
False
Let w = -21/409 + -133449/5726. Are w and -22 nonequal?
True
Let g(r) = -r + 11. Suppose -6*j - 63 = j. Let h be g(j). Let s = h - 20. Which is bigger: -1/40 or s?
s
Let m = -2076 + 2076.153. Which is greater: 1/6 or m?
1/6
Let x = -5475 - -5474. Let u = 7.8 - -0.2. Let l = 6 - u. Which is bigger: x or l?
x
Let a = -232 - -236. Let b = 0.034 - -3.646. Let f = b + 0.32. Are a and f unequal?
False
Let s = -21740 - -21747. Which is greater: 271/41 or s?
s
Let w be 166428/21 + 2*(-9 + 875/98). Is w equal to 7926?
False
Let o(n) = -n**2 + 15. Let i be o(4). Let v be 76/16 - (0 - i). Let h = -143/36 + v. Is 0.2 bigger than h?
True
Let t be ((-765)/30)/((-21)/(-56)). Is t greater than -346/5?
True
Suppose -6*t + 54 + 36 = 0. Suppose -x = y - 7, 4*x + 2*y = 7 + t. Suppose 0 = x*p + b - 98, p - 79 = -2*p + 2*b. Are 23 and p non-equal?
True
Suppose 0 = -2*u - z + 4216, -3*u + 6310 = -8*z + 6*z. Is 2106 at least u?
True
Let j = 1.1 + -1. Suppose 0 = -2*r + 14 + 2. Let o be 133/(-294) - (12/r + -2). Is j greater than o?
True
Let v be -138*(-18)/(-24)*8/12 + -7. Let g be (-75)/(-1 + 1 - -1). Is g <= v?
False
Let b be 11/35 - (-2)/(-7). Let y = -354 + 361. Let l be ((-3)/(-1) - 1)*y/42. Is b greater than l?
False
Let x = -110502 + 246529990/2231. Is -1 <= x?
True
Let f = -113/331 + 7014/21515. Let w(o) = o**2 + 7*o - 9. Let b be w(-8). Which is smaller: b or f?
b
Let m = -3/70 + 2491/140. Let g be 17*2/(3 - 1). Let b = g - m. Which is bigger: 7 or b?
7
Suppose 3*h = 4*g - 194, -184 = -4*g - 3*h - 2. Does g = -0.063?
False
Let d be (-1 - (6 - 548635/74820)) + (-2)/6. Is 0 >= d?
True
Let a be 11 - (8 + -2)/(10 + -2). Suppose -5*i = -8*i + 12. Suppose -4*t = -2*l, -i*t + 9*t = 25. Is a at most as big as l?
False
Let d = -0.937039 + -0.062961. Let i be ((-878)/(-10))/((-3)/6). Let o = -175 - i. Which is bigger: d or o?
o
Let u(z) = z**3 + 2*z + 44. Let v be u(0). Suppose -37*y + v*y - 273 = 0. Is 38 at least as big as y?
False
Let z = -23.8 + 24.055. Let h = 0.755 - z. Which is greater: -1/9 or h?
h
Let l be -2 - ((-500)/60 - 4/(-3)). Let m be 3 + ((-72)/(-30) - (l - 0)). Is m smaller than 20?
True
Suppose 50*n - 26967 = n + 30363. Is n >= 1172?
False
Suppose -85*n - 249 = -0*n - 2*n. Suppose 2*w - 4 - 4 = 0. Suppose 9*h = -2*d + w*h - 7, -19 = 4*d + 5*h. Which is smaller: n or d?
d
Let x(y) = y**3 + 10*y**2 + 7*y - 8. Let v be x(-9). Suppose 5*n = 3*n + v. Let h be (-16)/(15/n - 5). Are 7 and h non-equal?
True
Let u be (-24)/(-16) + (3/2 - 2). Is u < -4/1157?
False
Let n be 161/(-69) - (4/(-5))/((-4)/(-20)). Let l = -4 + 4. Which is smaller: l or n?
l
Let y = 9 + -18. Let v be (112665/148)/29*16/(-54). Which is smaller: v or y?
y
Let i be (7/(-98))/(2/(-16))*7. Suppose -i*m = 22 - 42. Let u = -15 + 21. Which is smaller: u or m?
m
Let d(y) = -129*y + 15. Let f be d(2). Let s = f + 239. Which is greater: -7 or s?
s
Let z = -290 - -302. Suppose 0 = -4*p - 2*p. Let m be 4 + (-4 - p) + z. Which is bigger: 14 or m?
14
Let j(g) = -g**3 + g**2 + 2*g. Let d be j(0). Suppose -u + 2*u - 106 = d. Is u at least as big as 106?
True
Let m be 10/(-55) - 5058/(-110). Let g(w) = 24*w**2 - 100*w - 53. Let d be g(5). Is d smaller than m?
False
Suppose -5*j = -486 - 3384. Suppose 19*y - y = j. Which is smaller: y or 39?
39
Suppose 0 = 97*g - 363 - 219. Which is greater: g or 165/29?
g
Let t(q) = 62*q**2 + q + 2. Suppose 4 = -4*n - 2*u, -4*n + 5*u - u - 4 = 0. Let y be t(n). Suppose 6*f - 13*f - y = 0. Which is greater: f or -7?
-7
Let n(i) = -11*i - 166. Let f be n(-14). Let s = f + -93. Which is smaller: s or -2?
s
Let j = 0.8 - 0.2. Let z = 126.013 - 126. Let b = 1.987 + z. Is b at least as big as j?
True
Let k be 84/(-30)*62905/(-46). Do k and 3830 have the same value?
False
Let r = 46.595 - 46.6. Let n = -0.025 + r. Do 3 and n have different values?
True
Let r = 19.461 - -2491.539. Which is bigger: r or -1?
r
Let z be 55/(-11)*((-21)/7 - -2). Let n = -7 + 10. Which is greater: n or z?
z
Suppose 662 = 35*z - 703. Is z less than or equal to 44?
True
Let q = -7474 + 7473. Which is bigger: -38 or q?
q
Let l be -1*(31/(-6) + 4) + 4. Let a = l - 305/66. Are 0 and a non-equal?
True
Let f be 20 + -25 + -6 + 13. Let l be (-6)/(-9)*(-3)/(-2). Which is smaller: f or l?
l
Let f = -7174 - -11411. Which is bigger: f or 4239?
4239
Let h = -287810/19 - -15152. Let m(f) = -3*f**3 + 3*f**2 + 3*f + 1. Let u be m(-1). Which is greater: h or u?
h
Let s = 