. Let v = -269/248 - -53/31. Which is greater: u or v?
u
Let t = 0.0307 + -0.0377. Let j = t - -3.007. Is j greater than 2.3?
True
Let t = -13/24 - -3/8. Let v = 260 + -147. Suppose v = -5*z + 108. Is z at least as big as t?
False
Let v(w) = 14*w - 8. Let p be v(2). Suppose -p*j - 24 = -8*j. Which is bigger: -30/11 or j?
j
Suppose 67 = 2*w - 5*i, 2*i = 3*w - 2*w - 32. Suppose -w = -2*y - 28. Is 1/22 >= y?
True
Suppose 5*m - 5 = -k, -5*m + 4*m - k = -5. Let d = 25 - 20. Are m and d equal?
False
Let i = 0.53 + -0.4. Let q = i - -0.17. Which is bigger: 11 or q?
11
Suppose 5*r + 0 = 4*u - 47, 4*u = -2*r - 30. Suppose d = -0*d + 5, -32 = -3*c - 4*d. Suppose c*h + 25 = -15. Which is greater: r or h?
h
Let w(c) = -c**3 - 3*c**2 + 16*c - 64. Let g be w(4). Is g < -114?
False
Suppose -4*w - 14412 = 2*u - 37232, 3*u + 22810 = 4*w. Is 5705 greater than w?
True
Let a(s) = s**3 - 9*s**2 + 5. Let k be a(9). Suppose -2*v - 21 = -k*v. Suppose 5*n - 3 = 5*m - 38, -19 = -m - 3*n. Which is greater: m or v?
m
Let y = -30672 - -23452. Which is greater: -3 or y?
-3
Suppose 4*c = a, 0 = 2*a - a - 5*c. Suppose 6*j - 3*j - 84 = a. Let g = j + -29. Is -4/19 less than or equal to g?
False
Suppose v - 2*k = 6*v + 1301, 0 = -3*v + 2*k - 771. Let z = v - -979. Is z equal to 719?
False
Suppose 48 - 28 = 5*b. Let n be (-141)/(-47) + 8/(b/2). Let q be (156/8)/(6/2). Which is smaller: n or q?
q
Let m be ((-278)/(-14) - 19) + 1/7. Which is smaller: -32/303 or m?
-32/303
Let a be 5*(-1 + (-6 - -6)). Suppose 2*c - 6*c = -12. Let u = a + c. Which is smaller: u or -10/9?
u
Let g be 10/75 - ((-8)/76 + (-2562)/5985). Let h = -2.25 + -0.65. Are g and h non-equal?
True
Let x = 10233 + -30701/3. Is x greater than or equal to 4054?
False
Suppose 9 = 6*g - 15*g. Let o = 18 + -12. Let u = o + 1. Is g < u?
True
Let b = 1.95 - 361.95. Let f = 351 + b. Do -0.4 and f have the same value?
False
Let p = -1523/605 - 10/121. Which is smaller: -13/6 or p?
p
Suppose -4*c - 4 = 0, -3*v - 4 - 117 = -5*c. Are -43 and v equal?
False
Let b = -6806 + 6806. Let x be 0/(1 + 1/1). Suppose x*l - 2*l = 0, b = -3*s - l + 39. Which is bigger: s or 25/2?
s
Suppose -2*m + 7*m = 40. Let x = -137 - -140.5. Let p = -3.6 + x. Which is smaller: m or p?
p
Suppose -35 + 99 = 8*y. Suppose y*u + 156 - 308 = 0. Which is greater: 18 or u?
u
Suppose 0 = -2*n - 3*q - 1498, 4*q + 11 = 27. Are n and -745 equal?
False
Let g(t) = -4*t**2 - 86*t - 504. Let p be g(-9). Which is smaller: p or -33?
p
Let h = 0.3 - 0.31. Let f = 291/6620 + 2/331. Let a = f - -17/60. Which is bigger: h or a?
a
Suppose 44 = 5*n + 194. Let p be (6/n*14)/(1/(-25)). Is p bigger than 343/5?
True
Let x(b) = b**3 + 7*b**2 + 5*b + 1. Let h be x(-5). Suppose 2*p = 6 - h. Do p and -53/5 have different values?
True
Let x be (-1 + (-33)/(-9))*9/2. Suppose -2*h = 5*g + h + 15, 4*g - h = -x. Let k be 15 + (g/12 - (-21)/(-12)). Is 12 not equal to k?
True
Let l = 0.3626 - 0.7226. Is l at most 3?
True
Let x be (22/726)/((-1)/2). Suppose -31*c = 26 - 57. Is c at least x?
True
Suppose -23 + 7 = 8*q. Let s be (230/253)/(q/(-12)). Is s smaller than 6?
True
Let u(p) = -8*p**2 - p - 2. Let s be u(2). Let z be (-8)/(-6)*54/s. Which is smaller: z or 8?
z
Suppose -4*y + 14 = 2. Suppose -4 = -4*r + 4*g, y*g + 2 = 3*r - g. Which is smaller: r or -17?
-17
Let c(t) = -10*t + 177. Let f be c(43). Which is smaller: -1 or f?
f
Let a = -33.85 - -33.6863. Which is bigger: a or -1/4?
a
Suppose 0 = -2*p - 3*l + 18, l = -4*p + 4*l + 54. Suppose -b + 60 = -2*s + p, -2*b + 3*s + 92 = 0. Is 42 equal to b?
False
Let r(g) = g**3 - 11*g**2 + 10*g. Let s be r(10). Suppose 3*k - 2 + 4 = -5*o, o + 6 = -2*k. Suppose s = -p - o*p. Which is bigger: p or 2/127?
2/127
Let c(j) = -2*j**3 - 63*j**2 + 32*j - 1. Let z be c(-32). Do z and -624 have the same value?
False
Let r(i) = -i**2 + 7*i - 1. Let g be r(7). Let o be 37 - 0 - g - (-16)/(-8). Let d = 39 - o. Which is greater: 4 or d?
4
Suppose 8*u + 2*h + 6441 = 13*u, 2556 = 2*u + 6*h. Is u at least as big as 1286?
True
Let n be 2/(-3) - 60/(-9). Suppose -4*p + n = 2*s, 7*p + 2*s - 5 = 4*p. Let i = -590/13 - -136/3. Is p bigger than i?
True
Suppose -11*x = 2847 + 2763. Which is bigger: x or -509?
-509
Let q = 120 + -120.1. Let i(j) = -2*j**2 - 40*j - 194. Let d be i(-7). Which is smaller: d or q?
d
Let m = -4539 + 4538. Is m greater than -6/1843?
False
Let z = 38 - 33. Let u(q) = q**3 - 6*q**2 + 4*q + 7. Let t be u(z). Let r be -1*(t/(-134))/(-1). Which is smaller: -1 or r?
-1
Let d be (30/6)/((-3)/(-15)). Suppose -s + 3*s + 10 = 2*i, 5*s = -d. Let w(k) = 2*k - 3. Let y be w(i). Is y < -0.1?
True
Let w(p) = -17*p**2 + 147*p + 5. Let h(g) = -9*g**2 + 73*g + 4. Let l(m) = 7*h(m) - 4*w(m). Let q be l(15). Which is smaller: -31 or q?
-31
Let y = 3170 + -738609/233. Suppose 0 = a + 3*j + 12 + 2, 0 = -a - j - 4. Are y and a unequal?
True
Let y(f) = -25*f - 274. Let m be y(-11). Suppose -3*d = d - 5*g + 5602, 3*d - 2*g + 4205 = 0. Let s = 46295/33 + d. Is s > m?
False
Let x = -342 - -348. Suppose -20 = -w + 5*z, -x*w + z = -2*w - 4. Do w and -2/237 have different values?
True
Suppose -19*p + 21*p - 424 = 0. Suppose p + 217 = 13*u. Let k be u/12 - (-3)/(-12). Do k and 4 have different values?
True
Let q = -62.357 + 38.357. Is 0.0409 equal to q?
False
Let m = -1573.1 + 7918.1. Is -1/3 >= m?
False
Let d = -1034 + 1364. Is -3 equal to d?
False
Suppose -21*a + 9*a - a = -26. Is a at most as big as 2029?
True
Let u(w) = -42*w + 671. Let k be u(16). Which is bigger: -170 or k?
k
Let v be -1*7 - 5092/(-684) - (-13)/(-9). Is v less than or equal to -152/79?
False
Let i = -9 - -22. Let l be 704/336 + 4/(-42). Which is smaller: i or l?
l
Let v = 286 - 287. Suppose 4*i + 5*i - 180 = 0. Suppose s + 13 = -i. Do s and v have the same value?
False
Let z = 2.42 - 364.42. Let v = z + 345.7. Let l = v - 3.7. Is l at least as big as 2/3?
False
Let w be ((-297)/(-6))/(501/6*(-1 - 0)). Is w greater than -2?
True
Let k be 59385/325 + (-2)/(-10). Let h = 183 - k. Suppose 774*c = 768*c. Do c and h have different values?
True
Let s be (4*(-10)/168)/(120/(-16)). Which is greater: s or 0?
s
Let i = -90.7 + 94.43. Let f = i + 2.27. Suppose q - 2*q + 46 = -4*o, 0 = -2*q - 4. Which is smaller: o or f?
o
Let g be 1259/3*(-157 + 154). Is -1258 equal to g?
False
Let l(v) = -4*v + 8. Let j(n) = n - 1. Let i(y) = 6*j(y) + l(y). Let r be i(-5). Let m be (-42)/(-105)*490/(-28). Is m <= r?
False
Let x(i) = 2*i**3 - 43*i**2 + 67*i - 58. Let o be x(20). Which is bigger: o or 85?
85
Let j = 5322 - 7662. Is -2339 >= j?
True
Let x = -0.0702 + 0.2302. Let o = 70.64 + -72. Let l = x + o. Is l greater than or equal to -1?
False
Suppose 6*y - 2096 = 4288. Suppose 438 = -2*r - 5*h, 6*r - r = 3*h - y. Is r at most -214?
True
Let h be 2 - (2 - ((-4)/1 + 3)). Let u be 4*14/160 + h/(-4). Which is smaller: u or 2?
u
Let a be ((-16)/10)/2*-20. Let x(t) = -t**2 + 6*t - 74. Let w be x(a). Which is bigger: w or -232?
-232
Let s be (-200)/6*(19057/95 - 35). Is s > -5521?
True
Let f = 128 + -228. Let l = f - -2. Let x = l - -97.8. Which is smaller: x or 1/13?
x
Suppose 42*m + 17 = 41*m - 5*j, j + 19 = 5*m. Is m at most as big as 25/7?
True
Suppose 0 = 100*u + 14*u + 11856. Is u less than -5?
True
Let w be 150/90 - (-2)/(-6)*-1. Let v be w/9 + (-3248)/(-693). Is 5 equal to v?
False
Let r = 90 - 118. Let f be 962/3318 - (-8)/r. Which is smaller: f or -1?
-1
Let r be ((-436)/(-498))/((-42)/69993). Let u be -1460 + 2*3/6. Let h = u - r. Is h at most 0?
False
Let w(j) = -6*j - 36. Let o be w(0). Let u = 3/3899 + -694037/19495. Which is bigger: u or o?
u
Suppose 0 = -5*d + 2*s + 415, 5*d + 16*s - 410 = 17*s. Let y = d - 84. Which is smaller: -0.2 or y?
y
Let o = -4628 + 4666. Which is smaller: 3.9 or o?
3.9
Suppose 4*y - 3*s + 143 = 0, 4*y - 444 = -3*s - 557. Are y and -278/9 equal?
False
Let q be 10/15 + 1/3. Let j = 157.7 + -27.7. Let z = j + -131. Does z = q?
False
Suppose 17 = u + 3*u - 5*o, 20 = -4*o. Let x = 22 - 20. Let l = -18 - x. Which is smaller: u or l?
l
Suppose -3*u = -4*b - 12, 2*u - 12 = -u - 5*b. Let k = 18 + u. Suppose 27*a - 1040 = -25*a. Does k = a?
False
Let o(q) = -1 + 1 + 1 - 4*q**2 + 0 + 2*q. Suppose 2*n + 2*h + 6 = 0, -3*h + 1 - 2 = -n. Let l be o(n). Is l greater than -17?
False
Let y(u) = -2*u**2