 is smaller: h or v?
h
Let m be (-49206)/(-82110) - 3/5. Is -1 bigger than m?
False
Let w = 35 - 32. Suppose 9*f - 11*f - c = -1, 0 = -w*f - 4*c + 9. Which is greater: 1/18 or f?
1/18
Suppose 5*d - 1 = 2*y - 0*y, 25 = -2*y - 3*d. Which is greater: -7 or y?
-7
Suppose -2*c - c = 6, -16 = 3*h + 2*c. Suppose -z + 0 = -2. Suppose z*d = -2*j + 5*d - 6, -4*d = 0. Does j = h?
False
Let r be 9*((-24)/(-1503))/(-4). Is r not equal to 1?
True
Let j = 1 - 1.06. Let l = -0.16 - j. Let z = 1.91 + 0.09. Which is greater: z or l?
z
Let b = 913 + -671. Which is greater: b or 240?
b
Let c(a) = 7*a - a - 7*a. Let u(n) = -11*n + 12. Let i(s) = -6*c(s) + u(s). Let f be i(5). Is -13 less than f?
False
Let a = -11.7 + 11.09. Let f = 34.61 + a. Let r = -33 + f. Is r not equal to 0.24?
True
Let v = 17 + -15. Suppose 0 = 5*r + v*r + 168. Let y be 4 + (-7)/((-35)/r). Is y > -1?
True
Let v be (-2)/1 + 2 - 0/17. Let r be (v - -2)*(15 - 13). Is 4 at most r?
True
Let o = 1.51 + -1.29. Let f = 30/7 - 4. Which is bigger: o or f?
f
Let j = -196 - -196.81. Let u = 3 - 2.89. Let o = j - u. Which is smaller: o or 1?
o
Suppose -5*w + 5*j + 180 = 0, -j + 3*j = -5*w + 180. Which is smaller: w or 39?
w
Let w(v) = -153*v - 5. Let o be w(-4). Let j be o/210 + (-4 - -1). Let t = j - 2/35. Do t and -1 have the same value?
False
Let j be 2/13 + 6 + (-3036)/(-39). Which is bigger: j or 83?
j
Let m be (-2)/4 + (-92)/(-8). Let y(r) = -r + 8 + 2*r - 27. Let s be y(m). Is -17/2 < s?
True
Let w(j) = -5*j**2 + 14*j - 4. Let f(n) = 6*n**2 - 15*n + 3. Let x(g) = 4*f(g) + 5*w(g). Let o be x(9). Which is smaller: 10/9 or o?
o
Let w be 1305/(-725) + (-82)/(-6). Is 12 >= w?
True
Let v be 3*(15/(-120) - (-98)/(-240)). Is v less than -35?
False
Let r = 42.047 - 0.047. Let x = r - 25. Let g = x + -5. Which is bigger: -1 or g?
g
Let y be (44/495)/(4/6). Let j = 20 - 15. Suppose 0 = -2*h, j*f - 4*h + 5 = -3*h. Which is greater: f or y?
y
Let j be (-1 + 5)*(-9)/18. Let x = -3284/15 + 219. Let v = x - 127/105. Is v at most as big as j?
False
Suppose -5*y = -5*m + 1390, 5*m - 862 = 2*m - 4*y. Suppose -x - 202 = -0*b + 3*b, 5*x - m = 4*b. Let r be 16/20 - b/(-10). Which is smaller: 3 or r?
r
Let p = 176.2 + -160. Let s = p + 0.8. Let i = s + -16. Are -0.4 and i unequal?
True
Suppose -4*w - 13 + 137 = -5*h, 5*h + 136 = w. Let b be (h/35)/((-9)/(-10) - 1). Which is bigger: 7 or b?
b
Let p be (0 + 1)*0/(-4). Let j be (-341)/62*(-8)/682. Which is smaller: j or p?
p
Let m = 36 - 66. Let z be ((-4)/m)/((-8)/(-10)). Which is smaller: -1 or z?
-1
Suppose -7*i = 111 + 211. Let c = 58 + i. Which is bigger: c or 13?
13
Let s = 3 - 1. Let i be 825/45 + 1 + (-4)/3. Let h be (i/24)/((-15)/(-16)). Is h smaller than s?
True
Let m be -12 + 370/30 - 2/6. Let p = -91/6 + 775/51. Do p and m have different values?
True
Suppose 4*z + 3 = 15. Suppose -79*g = -83*g + 20. Which is bigger: z or g?
g
Suppose -2*s - 3*b = -44, -3*s = -3*b + 2*b - 88. Let o be (-2)/4 + 98/s. Is o bigger than 4?
False
Let s = -334 - -336. Let g = -12 - -5. Which is greater: s or g?
s
Let q = 25.5 + -29. Let y = -2.5 - q. Which is bigger: -1 or y?
y
Let a be 4 + (4 - 3)*2. Let r be ((-9)/a + 0)/((-2055)/20). Is 0 <= r?
True
Let u = 908/13 + -70. Which is smaller: 20 or u?
u
Let i(p) = -1. Let j(l) = l - 4. Let u(b) = 5*i(b) + j(b). Let t be u(10). Suppose 4*n - 10 = -n. Which is bigger: t or n?
n
Let i = 19 - 22. Let j be -1 - (-10 - (3 + i)). Is j > 9?
False
Let l be (3/6)/(10/(-4)). Let f(r) = -2*r - 14. Let a be (-24)/(6 - 2) - 1. Let n be f(a). Which is smaller: l or n?
l
Suppose -5*c = -0*u + u - 288, -4*u - 5*c = -1107. Which is greater: u or 272?
u
Suppose -f = -3*f. Let b = 8023/59 + -136. Which is bigger: b or f?
f
Let n = 90 - -23. Let b = n + -112.99. Which is bigger: -2/35 or b?
b
Let v(w) = -3*w**3 + 10*w**2 - 5*w - 23. Let j(z) = 8*z**3 - 30*z**2 + 16*z + 69. Let t(f) = -4*j(f) - 11*v(f). Let k be t(-11). Which is smaller: -44 or k?
k
Let m be ((-1)/1 - -3)/(-2). Let l be 2/(m*(-54)/(-2)). Suppose 2*x - 5*t = 0, 0 = x - 41*t + 45*t. Is l at least x?
False
Let i be (-16)/6 - (-2)/(-6). Let h = -9.9 + 4.4. Let z = h + 5.3. Which is smaller: z or i?
i
Let q be (15 - 12) + (1 - 11/2). Which is smaller: 0.35 or q?
q
Let h(d) = -15*d + 54. Let v be h(3). Which is bigger: 8 or v?
v
Let z = 15.64 - 15.5. Which is greater: z or -2/5?
z
Let s(b) = 7*b - 9. Let j be s(6). Suppose 132 = 4*k - 2*q, 5*k - 3*q = 4 + 160. Which is greater: k or j?
k
Suppose -r + 1258 = 46. Is r at least as big as 1212?
True
Let r = 55.92 - 56. Let i = -0.18 - r. Is i less than 9?
True
Suppose 5*s + 2*p = 0, s - p = -s + 9. Let q(i) = -i**3 + 3*i**2 - 2*i - 1. Let d be q(s). Let m(b) = 8*b - 90. Let y be m(11). Which is smaller: y or d?
y
Suppose j = -5*l - 38 + 48, -3*j + 98 = -2*l. Is j not equal to 30?
False
Suppose -4*a + 2*h + 6 = 0, -17 = -5*a - 3*h + 7. Suppose -f + 1 = -w, -a*f = 3*w + 2*w - 27. Suppose -f*g + 1 + 15 = 0. Which is smaller: g or -0.1?
-0.1
Let x = -15 - -15. Suppose x = 2*n + m - 34 - 2, -2*m + 40 = 2*n. Which is smaller: 18 or n?
n
Let y = -26593/12 + 2216. Let s(c) = -c + 1. Let l be s(0). Is l not equal to y?
True
Suppose 0*l - 29*l = 5*l. Suppose 3*f = -5*z + 15, 4*z - 8*z - 10 = -2*f. Is z greater than or equal to l?
True
Let h = 3242/551 - 5263571/779114. Let c = h - -3/202. Which is smaller: c or 0?
c
Let y be 114/15 + (-3)/5. Suppose 0 = -7*c + y. Is c greater than 4/5?
True
Suppose -721 = 231*t - 224*t. Is 2 <= t?
False
Let n = 1 + -8. Let m(h) = -h**2 - 12*h - 3. Let q be m(n). Suppose -5*k - 7 = -q. Is k <= 9/2?
False
Let z = 33/2 - 52. Let g = 36 + z. Is g less than -27?
False
Let r be -3*(4 - (-10)/(-3)). Let v be 0/((-3)/(3/r)). Suppose 5*g - 10 = v, -4*j + 2*g = 18 + 34. Which is smaller: j or -13?
-13
Suppose -2*z + 2*r + r + 4 = 0, -5*r = -z - 5. Suppose 14 = -p + z*o, -3*o = p + p - 11. Is p less than -2/35?
False
Let r be (9 - 6)/(-6)*-18. Let j(t) = -t**2 + t + 15. Let f be j(0). Let n be (-5 - -2)/(f/r). Which is greater: n or -2?
n
Let u be (1*(2 - 0))/(-5). Let p = -16 + 16. Let r = p - 0.2. Which is greater: u or r?
r
Let y = 93522103/414 - 225899. Let w = y + -1/46. Is 12 < w?
False
Let g(z) = 5*z**2 - 15*z - 10. Let f be g(4). Which is smaller: -19 or f?
-19
Let h = 5048 + -50567/10. Is h at most as big as -2/5?
True
Let b = -155 - -1009. Let r be (-2)/13 - (-733332)/858. Let y = r - b. Which is greater: y or 1?
1
Let p = 568 - 569. Let n = 6.6 + -6. Which is bigger: n or p?
n
Let k be 2 + 4 - (-4)/16*-20. Which is bigger: 1/116 or k?
k
Let j be 2*-1 + (-549)/(-261). Let u be (1 - -2) + 28/(-7). Do j and u have different values?
True
Let g be ((-6)/(-9))/(4/18). Let h = -25 - -32. Suppose -4*p + h = g. Is p < 0.05?
False
Let g(m) = -6*m. Let y be g(1). Let b(o) = o**2 + 6*o - 7. Let a be b(y). Let w(j) = j + 2. Let n be w(a). Which is smaller: n or -7?
-7
Suppose 44 = -7*j - 5. Let d(m) = -m - 5. Let b be d(j). Which is greater: -4 or b?
b
Let x(k) = k**2 + 5*k - 4. Let i be x(-8). Let c be 1/(-4) + 5/i. Are 1/37 and c equal?
False
Let a be (3 - 0)/(3*(-1128)/18). Which is smaller: a or 0?
a
Let i be ((-246)/427)/(-4 + 25/5). Let t = 2/427 + i. Let o(f) = -f**2 - 3*f + 4. Let m be o(-4). Is t greater than m?
False
Let y be (-1*(-3)/(-18))/((-16)/(-20)). Which is greater: y or -1?
y
Let z be 1 + (-66)/(-6) - 7. Let h be (-1 - -16)*3/9. Do h and z have the same value?
True
Let z(k) = k - 17. Let s(r) = -4*r + 8. Let v be s(-2). Let w be z(v). Is w not equal to -2?
True
Let t = -14 + 18. Let c be -5*(18/15)/3. Let r(u) = -u**3 - u**2 - u - 2. Let b be r(c). Is b smaller than t?
False
Suppose 0 = 5*k + 4*y + 9, k - 3*y = -y + 1. Which is smaller: 1/77 or k?
k
Suppose -11*v + 2*v = 720. Let a = v - -81. Which is bigger: 4 or a?
4
Let v = -1 - -2. Let p be 1/4 + 414/660*12. Let r = p - 39/5. Which is smaller: r or v?
r
Let w = -14 + -220. Is w bigger than -233?
False
Let i = 7 + -1. Suppose -4*b - 19 = -47. Is i not equal to b?
True
Let j be 9 - 5 - (-639)/(-162). Which is smaller: -5/4 or j?
-5/4
Let d be (5/7470)/(34*(-1)/(-5874)). Let g = d - -1/498. Are g and -0.1 non-equal?
True
Let b(g) = -g**2 - 6*g - 5. Let p be b(-4). Suppose 3*d - 20 = -2*d, 2*d - 50 = -p*m. Are m and 16 equal?
False
Let f = 662.627 - -0.373. Is f != 