. Are t and y non-equal?
True
Suppose -20*m - 47 + 10 = 3. Which is bigger: -71/64 or m?
-71/64
Let o be (4/14)/(240840/(-1260)). Is o less than -1?
False
Suppose 43868 - 3533 = 32*i + 1967. Which is smaller: i or 1200?
i
Let f(w) = 3*w**3 - 50*w**2 - 13*w - 76. Let m be f(17). Let t be (-2120)/55 + m/(8/(-4)). Is t bigger than -36?
True
Let g = -0.1351 - 0.1649. Which is bigger: 71.9 or g?
71.9
Suppose 31*n = 11*n - 1280. Which is greater: -62 or n?
-62
Let t be (-725)/(-870)*(-1 + 15). Is t not equal to 13?
True
Suppose 3*a = 5*n + 86 - 123, 5*a + 3*n + 5 = 0. Is a equal to -92/17?
False
Suppose 294 = -37*n + 39*n. Suppose 0 = 63*t - 66*t + n. Which is smaller: t or 48?
48
Let r be ((-372)/155)/((-1)/5). Suppose 4*m = -9*g + r*g - 81, -3*g = 4*m - 81. Let w(u) = 3*u**2 + u + 1. Let c be w(-3). Which is bigger: c or g?
g
Suppose -983 = 3*c + 2*j, -233*c - 959 = -230*c + 5*j. Which is smaller: -327 or c?
c
Suppose 10585 = -5*o - 4*m, 262*o = 264*o + 2*m + 4232. Which is smaller: -2119 or o?
o
Let j(m) = -147*m**3 + 2*m**2 - 11*m - 16. Let z be j(3). Are z and -4000 equal?
True
Suppose 10*j = d + 4388 - 262, -4*j + 1666 = -3*d. Which is smaller: 411 or j?
411
Let l = -27 + 59. Suppose n + 151 = -5*w, -3*n = -2*w - 25 - 32. Let z = w + l. Is 2/3 > z?
False
Let d(o) be the third derivative of -o**5/60 + 9*o**4/8 + 7*o**3/6 + 242*o**2. Let k be d(-4). Is -116 smaller than k?
False
Let m(a) = 22*a**3 - a. Let g be m(1). Let r = 7.3 + -41.3. Let n = 33 + r. Are n and g equal?
False
Let t = -115 - -188. Let r = t + -73.2. Which is smaller: r or -1/4?
-1/4
Let r(t) = -4*t - 26. Let x be r(-5). Let i be (4 + -4)*(-2)/x. Let j be (i*1/(-4)*2)/(-4). Is j at most 2/9?
True
Let c be 12 + (-39)/(((-360)/183)/12). Which is greater: c or 249?
c
Let l be (-43 + 24 - -370) + -3*1. Which is smaller: l or 353?
l
Let g be -26*14/((-168)/(-30)). Let q(u) = -12*u + 6. Let w be q(-5). Let m = w + g. Is -1 less than m?
True
Let b = 0.32945 - 0.23135. Which is bigger: -2/5 or b?
b
Let x(l) = -2*l + 65. Let f be x(6). Suppose -46*y - 21 = -f*y. Suppose 4*a + 0*z = -y*z + 243, -z + 5 = 0. Is a greater than 57?
False
Let v = 567 - 291. Let y = 275.9 - v. Is y greater than 77?
False
Let o = 150 - 50. Let r be (-424)/(-4) - 252/21. Let u = r - o. Which is greater: u or -7?
u
Let h = -43 - 26. Let a = h - -122. Which is greater: 0.1 or a?
a
Let z be ((-12744)/(-135))/(16/(-40)). Which is bigger: z or -246?
z
Suppose -17 = -m + 4*c, 2*m + 7*c - 10 = 9*c. Which is smaller: -2/95 or m?
-2/95
Let w = -0.2507 + 69.2507. Is w > -12?
True
Let x = 5/495878 - 6277815535/5454658. Is x < -1150?
True
Let u = 66 - 64. Suppose -u*g + 8 = 0, 2*g - 14 = 3*q - q. Let n = -757/20 + 141/4. Is n at most q?
False
Let g = 47933/31 + 1182697/341. Let s = g - 5011. Which is smaller: s or 3?
3
Let i = 4603/10 + -557303/1210. Which is greater: i or 0?
0
Let a be 1*592 - (-12)/(-8). Let w = a - 566. Let o(i) = 2*i**3 + 14*i**2 - 6*i - 17. Let h be o(-7). Which is bigger: w or h?
h
Let b(x) = -12*x - 11. Let t be b(-3). Suppose -39 + 314 = -t*n. Do 0.8 and n have different values?
True
Let q be 6/8*(-464)/3335. Let y = 2/69 - q. Which is smaller: 5 or y?
y
Suppose -2 = -3*d + 1. Let v = -107 - -12. Let r be v/(-140) - (-2)/(-8). Which is greater: r or d?
d
Let z be ((-51)/(-6) + -7)/(-1 + -5). Is z less than or equal to 1520?
True
Let x = -3552 - -3555. Which is smaller: -393 or x?
-393
Let a = 884 - 830. Suppose 0 = p - 16 - 39. Which is bigger: a or p?
p
Let u be ((-128)/160)/((-3)/(15/86)). Let g = 17 + -5. Let y = g + -11. Is y greater than u?
True
Suppose -1694 = -45*i - 479. Suppose -5*x + 5*r + 110 = 0, -i*x - r = -26*x - 16. Does x = -0.3?
False
Let q be (-4)/10 + (-174)/(-10). Let l = -28 - 68. Let z = l - -97. Do q and z have different values?
True
Suppose n - c = -47, 4*n - 7*c = -2*c - 190. Is -578/13 != n?
True
Suppose 9056 = 3*t - 23*t + 6156. Which is bigger: -144 or t?
-144
Suppose -5*z + 2*z = -5*z + 230. Which is bigger: z or 1739/15?
1739/15
Let t(u) = 121*u + 1210. Let d be t(-10). Is d < -5/346?
False
Let s = -113 + 43. Let m = s - -108. Let f = -42 + m. Which is bigger: f or -5?
f
Let v(m) = 3*m**2 - 1. Let x be v(1). Suppose 0 = x*a + 2*a + 16. Let k = -1054 + 1054.2. Is k at least as big as a?
True
Let a be (-2)/(-31) + (-73)/((-6008265)/(-3915)). Which is greater: a or -31/4?
a
Let j be 15/(-36) + 1/(-3). Let q(u) = -468*u + 14040. Let k be q(30). Which is bigger: k or j?
k
Let k be 0 + (15/(-10)*-2 - 0). Suppose 4*h = -k*b + 5*b + 256, 5*h = -2*b + 329. Is h less than or equal to 65?
True
Let t be (-3474)/241*(4184/6)/(-2). Let v = -5026 + t. Let s = 978/1687 - v. Which is smaller: s or 2?
s
Let t = 0.23 - 19.23. Which is bigger: -36 or t?
t
Let f = 834.24 - 834.1. Is -161 at most f?
True
Let m = -274 - -569. Suppose m = 2*o + 3*b, -4*o + 5*b = -0*b - 579. Which is bigger: o or 147?
147
Let g be 24/(-16) - (-816)/32. Let s be 4/(0 - 28/(-170)). Is g not equal to s?
True
Let i = 2.48 - -56.52. Let s = 10 - 10. Which is bigger: s or i?
i
Let t(j) = -43*j - 2. Let h be t(-2). Suppose -2*z + 2233 = 2063. Which is bigger: z or h?
z
Let k be (5 - 3) + (-2613)/2*102/(-54). Is k at most 2471?
True
Let y = 444 - 443. Which is smaller: 2/5991 or y?
2/5991
Let p(i) = i**2 + 6*i + 64. Let c be p(-21). Which is smaller: c or 382?
c
Let s(a) = -40*a - 319. Let t = -332 + 324. Let h be s(t). Let i = -2 + -1. Which is smaller: i or h?
i
Suppose -a + 3*a - 50 = -5*d, 5*d = -3*a + 65. Suppose -c + 28 = -a*c. Is c bigger than -11/12?
False
Suppose 0 = -k - n - 45, 61*k + 2*n = 62*k + 21. Which is bigger: 20.7 or k?
20.7
Suppose -47 - 49 = 2*x. Let k = x + 39. Let d be 21/36 - (3/k)/(-1). Which is bigger: 8/9 or d?
8/9
Let u = 268944 - 186714. Let y be u/(-61605) - (-12)/9. Is y >= -1?
True
Let s be 1*(1 - 840)*(3 - 4). Let i = s + -6703/8. Which is smaller: -3 or i?
-3
Let z = -71103 - -71089. Suppose -5*p - 16 = -2*g + 15, g - 5*p - 28 = 0. Let t be ((-3)/(g/2))/(-7). Which is greater: z or t?
t
Suppose -14 + 1 = -13*s. Which is greater: s or 20/61?
s
Let w = 96 + -96. Suppose 2*s - 32 = 3*y, -4*y - 11*s + 6*s - 12 = w. Are y and -58/7 non-equal?
True
Let a(f) = -45*f + 3*f**2 - 4*f**2 + 39 + 7*f**2 - 3*f**2. Let n be a(15). Is 37 bigger than n?
False
Let o = -51 - -69. Suppose 2*r = -8, 4*v + 13*r = o*r - 204. Which is greater: -57 or v?
v
Suppose -4*o = -r - 313, 0*r = 4*r - 5*o + 1252. Let l = r - -221. Let y be 3*2/(24/l). Is y at most -23?
True
Let d be (-16)/(80/55) + 371. Is d at most as big as 2?
False
Let b(a) = a + 14. Let j be b(-9). Let h be -3 - ((-5)/(-25) + (-1)/j). Let n be (-2)/6*h - (3 - 0). Which is greater: n or -5?
n
Let r be (-2)/(-7) - (-268)/(-889). Let p = -18 + 23. Let d be (p - 21/3) + 32/14. Which is smaller: d or r?
r
Suppose 10*p = 24*p + 28. Let f be (p + -6)/(-24) + (-347)/(-3). Is f less than 116?
False
Let z = 3643465903/16 - 227998572. Let t = -282152 - z. Let l = 199 + t. Is -1 at most l?
True
Let i = -24890676929/1953 + 12744843. Let c = i + -24/31. Suppose -3*v - 7 = 4*j, -6 = 5*v - 2*j - 3. Is c at most as big as v?
False
Let v be ((-8015)/4)/5 - 6/24. Let w = v - -402. Which is bigger: 6/395 or w?
w
Suppose -2*s - j + 4 = 0, -5*s + 10 = -0*s + 2*j. Suppose 4*i + 227 = -3*u - 2*u, 3*u = s*i + 119. Let m = i + 68. Does 5 = m?
False
Let w = 6541.6 + -6541. Is -344/13 <= w?
True
Let i be (-3 - (2 - 10)) + (-199 - 1). Let h = -93 + i. Which is greater: 2/3 or h?
2/3
Let m(o) = -o - 25. Let x be m(-24). Which is smaller: -21/233 or x?
x
Suppose 2*n - 3*n + 27 = 0. Let l be -3 - 9/(n/(-24)). Let d be (l + -6)/(-1) + (1 - -4). Is d not equal to 5?
True
Suppose -2*o = -14, -5*g + 4*o + 402 = 425. Which is bigger: g or 86/495?
g
Let g be (-2)/(-4) + (410/1608)/((-7228)/14178). Is 1 at most as big as g?
False
Suppose 0 = 5*h + 4*o + 2 + 8, 0 = -2*h + 5*o + 29. Suppose -2*j + 4 = 0, -5*x + h*x + 4*j = 38. Let p be (-5)/x*1/(-53). Is 1 > p?
True
Suppose 2*h = 2*q - 26, -q + 4*h + 9 = 11. Suppose x - 5*z - 24 = 0, -4*z - 21 = 19*x - q*x. Which is greater: 1/54 or x?
1/54
Let p = 50 + -53. Let k be ((-4 + 0)*-2)/p. Let r be 1*(-8 - 16/(-4)). Which is bigger: k or r?
k
Suppose -5*m - 114 + 112 = o, 5*m = 5*o + 10. Which is smaller: 2/1373 or m?
m
Suppose -2*j + 2*h 