. Is v less than 145?
False
Let t = 16/1656521 + 821538368/9944095563. Let h = t - 14/261. Does h = 0?
False
Suppose 14*m + 13 = d + 10*m, -5*m - 15 = 0. Which is greater: 3/227 or d?
d
Suppose 23*r + 8*r - 31 = 0. Let d(o) = -o**3 + o**2 + o + 31. Let h be d(0). Which is smaller: h or r?
r
Let a be 2/9 + (-1501)/(-171). Suppose -10*p = -9 + a. Which is greater: p or -1/19?
p
Let n(k) = 13*k + 7. Let h be n(4). Suppose -20 + h = 3*s. Is s less than 17?
True
Let x be 110*(2496/390 - (6 - 0)). Is 43 less than or equal to x?
True
Suppose 823 = -5*f + 2*p, -4*f - 10*p + 12*p = 658. Which is smaller: f or -169?
-169
Let i = 20.2 + -20. Let c = 0.2 - -0.8. Let h = 1.2 - c. Is h less than i?
False
Suppose -210 = -9*c - 165. Let k(l) = l**3 - 7*l**2 + 8*l - 1. Let r be k(6). Suppose c*o + r = 41. Is 5 > o?
False
Suppose -126*b = -53*b - 52*b. Is 18/115 greater than or equal to b?
True
Suppose -22 = -4*s - 2. Suppose -3*h + r = s*r - 3, -h - r = -2. Suppose 4*t - 7 = 13. Does t = h?
True
Let v = -7538 + 82840/11. Let m be 1/(-2) + 3342/(-220) + 8. Let i = v - m. Which is smaller: i or 2?
i
Suppose -496 + 493 = 3*p. Does -48/23 = p?
False
Suppose 0 = 12*k - 3*k + 36. Let b = -6 - k. Let h(z) = z**2 + 3*z + 2. Let d be h(-2). Which is smaller: d or b?
b
Suppose -f + 20 = -6*f. Let g(s) = -2 + 3*s**2 - 4*s + 3 - 4*s**2. Let o be g(f). Is -2/35 != o?
True
Let t(y) = y. Let g be 8/4 + 12/(-3). Let m be t(g). Let w be 29*3/(-48) - m. Is 0 equal to w?
False
Let i = -5238/17 + 308. Suppose -5*l + r - 6 = 1, -3*r = l - 5. Which is bigger: i or l?
i
Let a be 5/((-360)/(-286)) + -4. Suppose 0 = 2*y + y. Which is greater: y or a?
y
Suppose 3*p + 28 = -v, 3*v - 69 = 4*p - 2*v. Let s = p - -19. Let n = 8 - s. Is n greater than or equal to 1?
False
Suppose -q + 7 = 5. Suppose 0 = -5*f + 3*f - 4. Is f less than q?
True
Let l = 30 + -9. Which is smaller: l or 20?
20
Suppose 1 = 5*o - 24. Let v(g) = -g**3 + 3*g**2 + 11*g - 6. Let a be v(o). Let k be 1 - ((-48)/10)/(-3). Is k >= a?
True
Let o = -27.2 - -26.2. Is 19/7 <= o?
False
Let p(o) = -8*o**3 - o**2 + 1. Let g be p(-1). Let i be (5 + 3)*(-1 - 0). Let u = g + i. Is -1/13 smaller than u?
True
Let h(o) = o**3 - 5*o**2 - o - 3. Let g be h(5). Let u = -5/51 - 31/204. Is u > g?
True
Let y be (2 + (-10)/4)/(3/6). Suppose 1160 = -2*x + 4*x. Let j = -4068/7 + x. Which is smaller: j or y?
j
Let y be ((-480)/(-56))/((-2)/14). Let h be 2/((4/(-20))/((-8)/y)). Let d(g) = -g**3 - 7*g**2 - 5*g + 8. Let t be d(-6). Is h bigger than t?
False
Let o be ((98/21)/7)/((-4)/862). Let d = 5537/39 + o. Which is greater: -3 or d?
d
Let s(u) = u**2 + 7*u. Let z(b) = b**2 - 7. Let m(w) = w**2 + 7*w - 8. Let o be m(-8). Let i be z(o). Let d be s(i). Is -5/6 >= d?
False
Let z = -1428 + 1428. Which is greater: z or -6/11?
z
Let s be (3/(-2))/(3/(-8)). Let n be 3 + 3/s - 4. Which is greater: n or 1?
1
Let r(d) = -6*d**3 - 24*d**2 + 6*d - 10. Let z be r(-5). Is 107 greater than z?
False
Suppose -5*m + 10 = 0, -3*k - 2*k + 12 = -4*m. Suppose 2*f + 0*f = 2*y + 12, 0 = k*f - y - 30. Does f = 5?
False
Suppose 0 = 5*s - 7*s - 32. Let f be ((-19)/76)/((-38)/s). Let n = -98 - -98. Is n at most as big as f?
False
Let d be 9/(-6918)*(-56)/(-84). Which is greater: 0 or d?
0
Suppose 60 = -4*q + 7*q. Let y = -18 + q. Suppose -x = y*x. Which is smaller: x or 2/3?
x
Let g be 24 + 3 - (1 + 0). Let h = 419.1 - 419. Do h and g have the same value?
False
Suppose -630 = 13*b + 423. Let p be ((-4)/5)/((-26)/(-2665)). Which is greater: p or b?
b
Suppose -4*x + 13 = -5*j, 5*x - 8 = 3*j + 5. Suppose x*q - 9 = -q. Do q and 4 have different values?
True
Let s(g) = g**3 - 6*g**2 - 6*g - 3. Let t be s(7). Suppose 0 = -5*q - 6 - 19. Let r(n) = n**2 + 5*n + 5. Let j be r(q). Which is smaller: t or j?
t
Suppose -10*t - 78 = -13*t. Suppose -3*m = 2*z + t, -22 = z + m - 7. Which is bigger: -16 or z?
-16
Let o be (-3)/((-2 - (-21)/6) + -3). Suppose -o*i + 4 = -4*s, -3*i + 5*s + 5 = -i. Is i greater than -3/25?
True
Suppose 3*a - 1065 = -3*m, a + 7*m = 3*m + 349. Which is smaller: a or 358?
a
Let o(i) = i**3 - 5*i**2 + i - 6. Let j be o(5). Let w be (-12 + 13)/(j/9). Is w < -8?
True
Let t be 302/(-888) + 4/12. Which is smaller: 0 or t?
t
Let z be (-69)/21 - (-10)/35. Let t = 1/3020408 - -1418836451/625224456. Let v = 4/207 - t. Is z not equal to v?
True
Let w = -87/16 - -91/16. Is w smaller than -20?
False
Suppose -662*z + 661*z = 498. Is -497 not equal to z?
True
Let z = -0.2454 + 3.6454. Is z < 2/11?
False
Let x = -2.89 - 0.31. Let n = -26.2 - -23. Let z = x - n. Are z and 0 equal?
True
Let p be (-45)/9 + (-185)/1. Let n be -5*(-1)/p*-4. Is n smaller than 1?
True
Suppose -b + 4*g = 7, 2*b + 7*g + 3 = 4*g. Does 61 = b?
False
Let k = 3 + -28. Let m = k + 20. Let p be 2 - -1 - (m + 7). Which is greater: p or -1?
p
Let s be (0 - -99) + (2/(-1) - 2). Suppose s = -4*u + k - 78, 179 = -4*u - k. Is u < -44?
False
Let n = -10352/3 + 3613. Is 163 bigger than n?
True
Suppose -14*k - 1154 + 8364 = 0. Which is bigger: k or 514?
k
Let n(j) = -2*j**3 - 2*j**2 + 9*j - 4. Let b be n(-3). Let l = 0.2 - -0.8. Which is smaller: l or b?
l
Suppose 104*o - 30 = -b + 103*o, -b = -3*o - 38. Are b and 38 non-equal?
True
Let p = -24 + 24. Let a = p + 0.06. Which is bigger: 4 or a?
4
Let k be (-21)/(-182)*(-4)/(-6). Let c = 18 + -8. Let y = c - 10. Which is smaller: k or y?
y
Suppose h = 5*m - 50, -m = -5*h + 6 + 8. Suppose -m*t + 6*t = 20. Let p be 0/(2 + (-4)/t). Is 2/75 less than p?
False
Let d = -1.17 - 16.63. Let q = -3.8 - d. Which is bigger: 1 or q?
q
Let u = 431 + -183. Which is greater: 249 or u?
249
Let a = 1.9 - 2. Let c = -0.2 - a. Let x = -0.258 - -0.058. Do c and x have different values?
True
Let g be (-3)/(6/(-44) + 0). Let u be (2/4)/((-1)/g). Let n be (-4)/(-6) - u/(-15). Which is smaller: 0 or n?
n
Suppose 3*o = -3*j, -5*o + 0*j + 5*j = 0. Suppose 3 = -u, o = 2*n - u - 3*u - 14. Is n greater than or equal to -4?
True
Let w be (-12 - -1 - -4) + 3. Suppose -4*a = r - 3*a + 6, -5*r - 23 = -2*a. Is r at least as big as w?
False
Let x = 1/6 + -2/3. Let n = -13/10 + 17/10. Which is smaller: x or n?
x
Let h be 5*26/845 - (-928)/390. Do h and 0 have the same value?
False
Let s = 708 - 709. Is s not equal to -1/24?
True
Let i be 3 - 1 - 3 - -1. Suppose 4*p - 3*p + 2 = i. Let s be (1/(-2))/((-2)/(-12)). Which is greater: s or p?
p
Suppose -7*l = 4*z - 9*l - 302, 5*z - l = 379. Which is bigger: 4 or z?
z
Let f = 30 - 20. Suppose -3*y = -4 + f. Is y >= -1?
False
Let m = 15 + -17. Let v be (m + 15)/(3 - 2). Is 12 greater than or equal to v?
False
Let z(x) = 2*x**2 - 31*x - 35. Let r be z(10). Is -146 greater than r?
False
Let p = -23 + -46. Let i be (-3 + (-204)/p)/2. Suppose k + 1 = 2*k. Is k not equal to i?
True
Let s(m) = -m**2 - 4*m + 34. Let b be s(-10). Suppose 0 = -z + 3*z + 56. Which is greater: b or z?
b
Let y be 4 - (0 + (-105)/(-27)). Let m = -7 - -11. Suppose m = f, -h - 4*f = h - 16. Is h at least as big as y?
False
Let p be (-4)/(-18) + (-8)/(-18). Suppose -z + 135 + 100 = -4*j, -j - 54 = -5*z. Let i = 61 + j. Are i and p unequal?
True
Let y be (4 - -2)/2 + -43. Which is bigger: y or -75?
y
Let d be 1/2 - (-2)/(-4). Let f(m) = 3*m + 31. Let y be f(-9). Suppose d*o + y = -2*o. Which is bigger: o or -9/5?
-9/5
Let u = 23 - 9. Let p = u - 16. Let x(k) = -k**3 - 3*k**2 - k - 4. Let c be x(-3). Are c and p equal?
False
Let m = -0.065 - -12.065. Let z = m - 11.92. Are -1 and z non-equal?
True
Let w be (-359)/(-72) + (11 - 15). Let m be (-14)/18 - 1/3. Let u = m + w. Which is smaller: u or 0?
u
Let t(v) = v**3 + 8*v**2 + 7*v - 1. Let s be t(-7). Let y be 32/11*s + -16 + 19. Is 0 less than or equal to y?
True
Let b(d) = d - 13. Let z be b(11). Let l be (-14)/(-18) - z/9. Let u be 1/(-15)*l*-3. Is u less than -1?
False
Let x(f) = -f**3 + 5*f**2 - 21*f + 65. Let t be x(6). Which is smaller: -96 or t?
t
Let u = 683 - 693. Which is bigger: u or -124/11?
u
Let c = 229 + -230. Which is bigger: c or -2/9?
-2/9
Let w = -64 + 65. Is w greater than -2?
True
Let f = 23 + -31. Let h = f - 5. Let t = h - -13. Which is bigger: t or -1/8?
t
Let d = 0.2 + -4.2. Let n = -0.044 + -0.256. Does n = d?
False
Let a(h) = h**3 - 7*h**2 + 8*h + 9. Let y be a(5). Let z be y/(2/40*5). Do 2 and z have different values?