 -0.142 + g. Which is greater: 0.1 or m?
m
Let t = 1783 + -1772. Is 137/11 at most as big as t?
False
Let q = -106 + 108. Which is smaller: q or 18/35?
18/35
Let m be (-7 - (-315)/28)*1*24. Do m and 102 have the same value?
True
Let k be (3 - 2)*(-4)/122. Let z(d) = d**3 - 11*d**2 - 4*d + 43. Let q be z(11). Which is smaller: q or k?
q
Let f = 9 - 4. Let a be (-14)/(-35) + (-2)/f. Let s be ((-2)/6)/(5/(-30)). Is s greater than a?
True
Let v be (-1)/((2/(-13))/2). Let c(x) = x**2 - 10*x - 7. Let r be c(v). Is 31 at least r?
False
Let r(h) = -4*h**2 - 61*h - 16. Let z be r(-15). Is z < 1/16?
True
Suppose -k + 2*k = 0. Suppose 0 = 5*b - 6*w + w + 125, -w - 1 = k. Which is greater: -28 or b?
b
Suppose 3*a + 30 = 3*s, 2*a - s = 3*a + 16. Let m = a + 11. Let g be (-6)/12*0/m. Is -1/2 > g?
False
Let k(n) = n**2 + n - 6. Let c be k(-2). Are -8 and c equal?
False
Suppose -i - 5*i = -78. Let a be (i/26)/((-2)/(-80)). Let u be 2/3*15/a. Does -0.9 = u?
False
Suppose -18 = m - 3*j, 3*j + 1 = -2*m + 2*j. Let b = -7 + m. Are b and -8 non-equal?
True
Let k = -22361030299595/43326 - -516111118. Let v = k + 1/522. Are v and 1 unequal?
True
Suppose -3*g + 3*j + 156 = 0, -g + j = -2*j - 58. Let q be 14/g - (-248)/14. Suppose -8*l - 4*l = -216. Is l bigger than q?
False
Let u be 7/14 + 9/2. Suppose i = -4*f - 6 + 28, -u*f + 27 = i. Suppose m = 2*r - 7, -f*r + 3*m + 19 = -r. Is 2/29 smaller than r?
True
Let v(x) = -x**3 - 4*x**2 + 3. Let q be v(-5). Let c be (-8)/q - (-1240)/(-315). Which is smaller: c or -3?
c
Suppose 4*c + 83 = -5. Which is smaller: 4 or c?
c
Let j be (-231)/(-24) - (1 + -2). Let q = -3228 + 181331/56. Let v = q - j. Which is smaller: -2 or v?
-2
Let q = -38 - 155. Is -1 greater than q?
True
Let x be 3/(-10)*5/(-3). Suppose 4 = r, 24 = -u - 3*r + 9*r. Which is bigger: u or x?
x
Suppose 0 = 5*m + 2*k - 4*k - 12, 0 = -5*k - 5. Let u be ((-4)/m - 1) + 5. Suppose -3*g = -3*d + u - 8, g + 10 = 5*d. Which is greater: 9/2 or g?
g
Let z = 20.3 + -28.4. Let x = 0.1 + z. Let t = 22/9 + -92/45. Which is greater: t or x?
t
Let t = -572934 - -63023293/110. Let v = 105/22 + t. Which is greater: v or 11?
11
Let x be -140 - 3 - -5 - 4. Which is smaller: -141 or x?
x
Let s = 5.217 - 0.357. Let u = s + -5.2. Are -1/4 and u non-equal?
True
Let r = 269/183 - -12/61. Is r < 2/5?
False
Let p be 10/5 + 5000/(-1252) + 2. Is p bigger than 0?
True
Let z(r) = r**3 - 14*r**2 + 23*r + 12. Let j be z(12). Suppose -5*c + 11*c + 90 = j. Let o be (-412)/28 - 2/7. Is c <= o?
True
Suppose 0 = -3*o + 5*o. Suppose -n - 7 = -o*n. Let s = 0.5 + -1.5. Which is smaller: n or s?
n
Let v be 12/2 + ((-165)/(-15) - 40). Is v less than or equal to -1/12?
True
Suppose 11*r - 7*r = 24. Let s be (4/r)/((-20900)/9615). Let w = s - 1/110. Is w at least as big as -1?
True
Suppose -3*p + 12 = 2*i, 8*i - 4*i = -4*p + 16. Is i at least 2/133?
False
Suppose -5*h - 4*t - 286 = 0, -13*h = -12*h + t + 58. Does -51 = h?
False
Suppose -310 + 569 = 7*v. Is v at most as big as 40?
True
Suppose -3*t = -7 - 5. Suppose -t*l = -5*l. Which is greater: l or -4/9?
l
Suppose h + 13 = 4*y - 53, 4*h - 8 = 0. Suppose 2*m + 54 = 5*x, 3*x - 5*m - 4 - y = 0. Let s be -4 + 2 + x/7. Is s less than -0.04?
True
Let i(j) = j**3 + 6*j**2 + 7*j + 12. Let r be i(-5). Suppose -4*d - 14 = -r. Let h(q) = q**3 + 6*q**2 + 4*q - 6. Let y be h(-5). Is d < y?
True
Suppose -82 = g - 50. Which is smaller: g or -34?
-34
Let c = 17.72 - 17.6. Which is smaller: c or -1/31?
-1/31
Let b = 147 - 54. Which is greater: 92 or b?
b
Suppose 4*f = -2*z - 30, -5*f = 8*z - 12*z + 44. Which is smaller: f or 1.8?
f
Let u be (5 - (-44)/(-8))*-8. Is 21/4 at most u?
False
Let k = -8012 - -55960/7. Is k at least as big as -17?
False
Let x(r) = -r - 2 - 2*r - r - 15. Let n be x(-4). Is 1/11 less than or equal to n?
False
Let y = -24 + 8. Let p = y + 16.1. Is -30 at least p?
False
Let a = -1.15 + 1.256. Let w = a - 0.106. Which is smaller: w or 1/14?
w
Let z = -0.2 + 0. Let p = -3485 - -3485. Is z greater than p?
False
Suppose 5*m - 2*m + 5*j = -4, 4*m = j - 13. Is 5 at least m?
True
Suppose -27 + 12 = -h. Suppose -3*z + 4*z - 5*d + h = 0, -3*z + 2*d = 32. Let j be (3 + 38/z)*10. Is j bigger than -8?
False
Let x = -90 + 45. Let z = x - -46. Let f = 0.07 + -1.57. Which is bigger: z or f?
z
Let a = 0.02 - 0.52. Suppose -16 = -n - 3*n. Suppose -4*w - 2*i = -n, -i + 2*i = -5*w + 5. Which is smaller: w or a?
a
Let d(f) = f**2 + 6*f + 5. Let h(z) = -2*z**2 - 12*z - 9. Let l(i) = 5*d(i) + 2*h(i). Let x be l(-5). Let s be -1 + -2 + x/1. Is -2/37 at least s?
True
Let d be 5/15 + 2 + (-20)/6. Suppose 7*z = 67 - 53. Which is smaller: d or z?
d
Suppose b - 3*x = -4, -4*x - 2 = -2*b - 4. Let h = b + -5. Let i = -9084/19 + 478. Is h at most as big as i?
False
Let w(i) = 2*i**2 - 3*i - 8. Let j be w(5). Is j smaller than 27?
False
Suppose -6*z + 5*z + 3 = 0. Suppose -z*j = -j. Which is smaller: -1/12 or j?
-1/12
Suppose -2*t + 5*t = -3*w - 9, -3 = w. Let s(m) = m**3 - 6*m**2 + 6*m - 5. Let p be s(5). Is t less than p?
False
Suppose 2*s = y - 10, -2*y = 6*s - 4*s - 2. Which is smaller: -73/23 or s?
-73/23
Let x be (272/(-24))/(-17)*-4. Is 3 not equal to x?
True
Let v be (1/((-10)/24))/(38/(-95)). Let q be ((-10)/(-5))/(v/2 - 2). Let x be -2*(1 - 13/9). Is q less than or equal to x?
False
Let d be (-1 + 188/20)/(4/50). Which is greater: d or 106?
106
Let r(p) = -p**3 - 4*p**2 + 6*p - 5. Let s be r(-5). Let o = 9 + s. Is 1/22 != o?
True
Let t be (-8)/10 + -8 + (-1533)/(-35). Which is smaller: 2/5 or t?
2/5
Let a be (-6*10/15)/((-3)/(-3)). Which is bigger: a or 3?
3
Let m be (-24)/(-20)*45/(-6). Let h be ((-3)/9)/(3/m). Let s be 13/6 + (-1 - h). Which is smaller: -1 or s?
-1
Suppose -3*m = x + 4*x - 8, -2*m = 4*x - 8. Suppose 5*t + 8*g - x*g - 327 = 0, 5*t = g + 312. Is 2/7 < t?
True
Let n = -18.4 - -20.4. Which is greater: n or 0.146?
n
Let k(s) = -2*s**2 + 5*s + 2. Let u be k(4). Let h be (-2 + u/(-4))*-2. Is 2/5 != h?
True
Let c(o) = -o**3 - 7*o**2 - o - 4. Let f be c(-7). Suppose 0 = -k + 4*d + 6, -f*k + 4*d = -d - 11. Which is smaller: 3/5 or k?
3/5
Let c be 333/6*((3 - -4) + -1). Let d be (2/c)/((-6)/18). Which is smaller: d or -1?
-1
Let i = -29.5 - -29.5. Which is bigger: -3/26 or i?
i
Let g(s) = 166*s + 16. Let y be g(-8). Let q = 5275/4 + y. Is q less than 8?
True
Let r = -303/2 - -136. Is r > 2/9?
False
Let o be 482/(-2651) - 18/22. Let y = 479 + -10541/22. Which is greater: o or y?
y
Let b = 3 - 3.2. Let a = 85 + -84. Which is smaller: a or b?
b
Suppose 5*a = 2*a + 33. Let p = a + -13. Let h be -1 + -5 + 0/p. Is -6 greater than or equal to h?
True
Let w = -719 + 714. Is w less than -47/9?
False
Let o = -9.8 - -7.8. Let m = -0.04 - 2.96. Which is bigger: m or o?
o
Suppose -8*b = 991 - 167. Is -103 smaller than b?
False
Let z = 0.18 + -0.161. Let f = 0.019 - z. Let s = 5 + -9. Which is bigger: f or s?
f
Let w = -26.3 + 3.3. Let a = -18 - w. Which is bigger: -1 or a?
a
Let r = -31.7 - 2.3. Let d = 36 + r. Which is greater: d or 5/6?
d
Suppose -3*y - 3*w + 5*w + 2 = 0, 0 = 4*y + 3*w + 3. Let n(r) = r**3 + 2. Let v be n(y). Let p be -1 + 22/v - 3. Is 7 at least p?
True
Let z = -816 + 792. Let y = -0.9 - 0.1. Which is smaller: y or z?
z
Let q(o) = -13*o - 21. Let y(x) = -4*x - 7. Let u(z) = -2*q(z) + 7*y(z). Let i be u(-6). Suppose -60 = -2*j - 8*j. Which is smaller: i or j?
i
Suppose -y - y - 5*t = 32, 0 = 4*t + 16. Let z be (32/y)/((-4)/(-12)). Which is smaller: z or -15?
z
Let c(b) = 4*b + 0 - 6*b + 4. Let o be c(9). Let u = -24 - -10. Is u less than o?
False
Let r = 3/230 - 1047/920. Let c(x) = -x**2 + 5*x + 4. Let g be (-4)/(-2) + (-4)/(-1). Let q be c(g). Is r less than q?
False
Let v = 187 + -186. Let g = -125338436 + 1561716914389/12460. Let s = g + 2/623. Do s and v have different values?
True
Suppose -i - 16 + 17 = 0. Suppose 9 = l - 5*g, -i - 3 = 2*l + g. Is l less than or equal to 1/48?
True
Suppose -h - 2*y - 6 = 6, 0 = -3*h + 5*y - 3. Let q be 6*8/228*h/(-8). Which is smaller: q or 0?
0
Let a(l) = l**3 + 4*l**2 + 5. Let m be a(-4). Suppose 0 = -v - 5, -4*c - 4 = -m*v - 37. Which is smaller: 3/5 or c?
3/5
Let l = -9798992/3069 - -97911/31. Let v = -310/9 - l. Which is smaller: 1 or v?
v
Let u be (1 - -707)/(((-260)/(-8))/13). Does 283 = u?
False
Let z(i) =