se 102*x - 107*x = -4*t + 2994, 4*t - x = 2986. Is t at least 746?
True
Suppose 2*i - 6*i + 136 = 0. Let y be (40/(-50))/(i/10). Is y less than -2/7?
False
Let m = 873 - 825. Which is smaller: m or 44?
44
Let t = 182 + -169. Let s = 3 + -2. Let o = s + 0. Is o less than or equal to t?
True
Let q = -17.5 - -17.6. Is q at most -360?
False
Let q be 8/((10/35)/((-2)/(-14))). Let h(a) = a**2 + 4*a - 2. Let n be h(-5). Suppose q*z + 0*x - 8 = -x, 5*z - 2*x = -n. Which is bigger: z or 2/39?
z
Let b = -1562271/325 - -4807. Which is bigger: b or 0?
b
Let a = -512 - -514. Which is greater: 15.4 or a?
15.4
Let a(k) = 6*k - 12. Let v be a(4). Let m(c) = 2*c - 28. Let w be m(v). Is w at least -3?
False
Let k(t) = 16*t**2 + 3*t - 1. Let s be k(4). Let f = 10795/4 + -59299/20. Let j = f + s. Is 0 > j?
False
Let k be (18/10)/(-3)*1. Suppose 28 = 3*f - 7*f. Which is smaller: f or k?
f
Suppose -n = 3*n. Let t be 256/2432 + (14/(-21))/(19/3). Do t and n have different values?
False
Let r be 2262/5916 - (-1 - (-3)/2). Which is greater: r or 0.07?
0.07
Let m(f) = f**3 + 3*f**2 - 4*f + 2. Let l be m(-4). Suppose -l*w + 10 = -7*w. Let q be (-74)/14 - w/7. Which is bigger: q or -1?
-1
Suppose 0 = 6*p - 2 - 10. Suppose -5*t - 4*c = -8*c + 14, 4*c = -p*t. Which is smaller: t or 4/9?
t
Let z be (15*(-1)/(-46))/((-81)/432). Are -1/3 and z unequal?
True
Let y be ((-2)/18)/(8/((-13480)/75)). Let a = y + -8/27. Which is smaller: a or 1?
1
Let p(w) = w**3 - 4*w**2 - 4*w - 4. Let z be p(5). Let d be 33/(-231) + (-638)/(-4662). Is z greater than d?
True
Let t = -7/117 - -151/1872. Suppose 4*j + 3 = 7. Which is smaller: t or j?
t
Let a = 457 + -460. Let f be (-3)/2 - 0/(-1). Are a and f non-equal?
True
Suppose -4*d + 3*z = 7*z - 8, 2*d = -z + 8. Let x(i) = i**2 + 7*i - 3. Let p be x(-9). Let w be (d/p)/(2/(-10)). Which is smaller: w or -3?
-3
Let t(j) = j - 1. Let r be t(0). Let d be (-19)/(-44) + 32/(-176). Is r smaller than d?
True
Let x be -20*-2*54/(-24). Are x and -91 nonequal?
True
Let g = -254/5 - -1768/35. Are -34.2 and g equal?
False
Let j(r) = 133*r - 616. Let w be j(6). Do 181 and w have the same value?
False
Let j = 32.5 + -35.64. Let n = j - -3. Is -1 not equal to n?
True
Let i = -186 + 184. Is i greater than or equal to 0.53?
False
Let s = 8.861 - -0.139. Let k = -0.03 + 4.03. Let q = k + -4.1. Is s bigger than q?
True
Suppose 6*j + 32*j = 0. Let r be 584/1360 + 2/(-5). Do r and j have the same value?
False
Suppose 148 = 7*a + 30*a. Let m = 13 + -5. Let n = -1 + m. Is n greater than a?
True
Let k be (-22)/18 + (-4)/(-18). Let u = 6905 + -255477/37. Is k greater than u?
False
Suppose 0 = -v + 5*v - 5*m - 16, 20 = -5*m. Let z(p) = 15*p**3 - 2*p**2 + 1. Let w be z(v). Let k be -2 - (-4)/w*0. Is k smaller than -1/2?
True
Let a be (-21)/6 - ((9 - 23) + 10). Let d = -0.974 + -4.036. Let q = d + 0.01. Which is greater: q or a?
a
Suppose 1091*s = 1086*s + 780. Is s <= 148?
False
Let a = 47.9 + -46. Let l = 3.9 - a. Is 14 at least as big as l?
True
Let p be (-9 + 3)/(-3) + 3. Let q(k) = -k**2 + 2*k + 14. Let b be q(p). Which is smaller: -0.3 or b?
b
Let h = -6.4 - -2.2. Let k = 7 + h. Let w = 13.2 + k. Which is smaller: w or -2/7?
-2/7
Suppose 779 = -12*n + 1535. Do 61 and n have different values?
True
Suppose 5*o - 17 = 3. Suppose 2*y - 19 - 1 = o*n, 3*n + 22 = 5*y. Which is bigger: y or 7/4?
y
Suppose 4*p - r - 26 = -10, -2*r = 5*p - 20. Suppose 0 = p*o + 2*o - 12. Suppose -8 = -2*q + 2*z, 3*z - 16 = -4*q + o*z. Is 4 >= q?
True
Suppose -8 = -4*d + 16. Suppose 5*n = -d + 1. Is n < -1/17?
True
Let c be (-30)/(-54)*44/(-10). Let x be ((-87)/(-18) + 0)*(-1)/2. Let v = c - x. Which is smaller: 0 or v?
v
Suppose -5*c + 5*b - 25 = 0, 3*c - 2*b + 8 = -5. Which is bigger: c or -50/23?
-50/23
Let x = -1 - -1.14. Let q = -0.02 + x. Which is bigger: q or -3?
q
Suppose -25*v + 44*v - 6574 = 0. Are 346 and v nonequal?
False
Suppose -440 - 704 = -8*x. Suppose -x = -6*r + 37. Which is bigger: r or 29?
r
Let r(w) = 51*w + 22. Let m be r(-1). Is m less than -29?
False
Let f = 38.7 - 46. Let x = f + 7.4. Which is smaller: -1/12 or x?
-1/12
Suppose 0 = -c - 13 + 8. Let y be 3 + c/(10/4). Let i be ((-2 - 0) + 2)/y. Which is smaller: -1 or i?
-1
Let a = 15 - -14. Let s = 29.3 - a. Which is bigger: s or 6?
6
Suppose 3*l - 68 - 1 = 0. Suppose 4*k + 42 = 238. Suppose k = 3*d - 17. Is l not equal to d?
True
Let w(m) = m + 10. Let j be w(-9). Suppose 9*k - 8*k = -j. Is k != 15?
True
Let z(i) = 8*i + 12. Let p be z(-3). Let b be (-34)/(-10) + (-5)/(150/p). Is b != 3?
True
Suppose b - 1 + 3 = 0, 3*u + 6*b = 198. Is u >= 71?
False
Let t(f) = f**2 - 4*f + 4. Let i be t(4). Suppose i*j + 2*r = -0*j - 8, r + 4 = 0. Let d be -3 - (-1 + (j - 1)). Which is greater: d or 1/12?
1/12
Suppose -3*s - 240 + 84 = 0. Suppose 177 + 27 = -4*b. Which is smaller: s or b?
s
Let m = 283/2750 + -3/250. Let s = -85 - -596/7. Is s greater than m?
True
Let p = -8/75 + -73/175. Is p at most as big as -1/5?
True
Let w(v) be the first derivative of -v**2/2 - 11*v - 5. Let o be w(-12). Is -2/15 at least o?
False
Let y = -748 - -747.9724. Which is bigger: 2/5 or y?
2/5
Let r(w) = w**3 + 31*w**2 - 36*w + 31. Let d be r(-32). Do d and 155 have different values?
True
Let i = 1350 + -550. Which is smaller: 801 or i?
i
Let x = -16.22 - -18.13. Which is bigger: 0.1 or x?
x
Let p be (15/(-9))/(-5) - 14/(-3). Let g be 3/(-2) - 26/(-4). Is g less than p?
False
Let y be 3/28*7 - (-3158)/(-24). Which is smaller: -130 or y?
y
Suppose 3*j = 17 + 16. Suppose 5*h + 6 = 6*h. Let i(p) = p**2 - 3*p - 8. Let w be i(h). Which is smaller: w or j?
w
Suppose 14*v - 2 = 12. Which is smaller: v or -2/9?
-2/9
Suppose -204 = 3*n - 213. Which is smaller: n or 20/11?
20/11
Suppose 0 = 51*r - 1302 + 1608. Suppose 0 = -6*n + 2*n - 48. Which is greater: r or n?
r
Let a be -1 + 2 + -4 + 0. Let x be (42/9 - -3)*(-6 - a). Is -23 less than or equal to x?
True
Suppose -3*i = -0*i. Let c be 1 + 0/(-6 + 3) - -3. Suppose i = -c*s - s. Which is smaller: s or -4/13?
-4/13
Let c = -448 - -17492/39. Which is smaller: 1 or c?
c
Let i be 93*(4 - (-65)/(-15)). Let r = -34 - i. Let z(j) = -j**3 + 6*j**2 - 2. Let s be z(6). Which is greater: s or r?
s
Let d be 4*(66/8)/(-11). Let m = -18 + 22. Which is smaller: d or m?
d
Let m(f) = 2*f + 21. Let x be m(-9). Suppose -13 - x = -4*h. Suppose h*n - 17 = 3*n. Is 18 less than or equal to n?
False
Suppose 3 + 6 = 3*k. Let l(r) = 2 - k - r + 4 + 5. Let z be l(7). Which is smaller: -2/7 or z?
-2/7
Suppose -c + 23*g = 24*g - 182, 5*c + 4*g = 905. Is 177 less than or equal to c?
True
Let r = -0.0259 + -0.2741. Which is smaller: r or -2/49?
r
Suppose 3*l + 50 + 1 = 0. Suppose 21*y = 18*y - 48. Which is smaller: l or y?
l
Let f(b) = -b**2 + 3*b + 12. Let x be f(7). Let v = 17 + x. Let d = 460 - 5064/11. Is v at most as big as d?
False
Let g = 44.7 + -47. Let i = 2.1 + g. Let d = i - 5.8. Which is greater: 1/3 or d?
1/3
Let x = 137/6 + -94/3. Do -2/9 and x have the same value?
False
Let i = -9 + -6. Let c = i + 14.9. Suppose -y + 3*z - 18 = 0, 4*y - 5*z - 6 = -43. Which is greater: y or c?
c
Let v = -2.65 - -2.75. Which is smaller: v or 0?
0
Let n = -64 + 41. Let w = -35 - -29. Let o be ((-1)/(-2))/(w/12). Does o = n?
False
Let s(l) = l - l**3 + 4 - 10*l**2 + 0*l - 9*l. Let f be s(-8). Let j be (-4)/(-6) - (-34)/f. Which is bigger: j or -1?
j
Let a be 30/(-4)*(-28)/(-21). Let x be (a/(-120))/((-3)/(-9)). Which is bigger: -4/3 or x?
x
Let r = 16 - -1. Let l = r + -9. Is l > -0.1?
True
Let h be (4 - (-26)/(-6))*(-594)/144. Which is smaller: 1 or h?
1
Let l be ((-180)/(-455))/(6/28). Is 1 >= l?
False
Let j = -3.1 - -11.1. Let z = 100/203 + -6/29. Which is smaller: j or z?
z
Let j = -8 + -115. Let i = 176 + j. Which is smaller: 52 or i?
52
Let t = -37.88 + 40. Let o = -2.3 + t. Let r = o + 0.28. Is r greater than or equal to 1?
False
Suppose -4*c - 4 = -0. Let v be (c/3)/(91/(-63)). Which is smaller: -1 or v?
-1
Let x be 12300/(-510) + (-2)/(-17). Let g = x + 265/11. Is g smaller than 0.07?
False
Let v = -184419/7 + 26291. Let t be (-44)/6*45/(-6). Let d = t + v. Is d at most -1?
False
Let v = 36 + -55. Let g = -174 + 180. Let c be v/(-114) + 65/g. Is c at most 12?
True
Suppose 51*h - 116 = 55*h. Suppose -42 = 5*t + 98. Is h less than t?
T