ame value?
False
Suppose -36 = -3*g + 5*y, -29 - 19 = -4*g + 2*y. Suppose 0 = -g*n + 3*n. Let j be (-12)/46 - 2 - -2. Is j at least as big as n?
False
Let l be (48/(-10))/(12/(-40)). Let n = l - 29. Let w be (-19 - n)*(-2)/(-6). Do -7 and w have different values?
True
Let r be 2/2*(-19575)/87. Which is smaller: -228 or r?
-228
Let z(t) = -26 - 53*t + 45*t - 10. Let h be z(-8). Which is greater: 27 or h?
h
Let t = -2.86 + -0.14. Let m = t - -36. Let i = m + -33. Which is bigger: 0.14 or i?
0.14
Suppose -4*u + 18 = -t - 4*t, 2*u = -2*t. Let a be (-1 - -3)/t - -1. Suppose w + p + 3 = a, w + 3*p - p + 7 = 0. Is w at most as big as -2/35?
False
Let v(u) = u**3 + u**2 - 2*u + 7. Let k be v(0). Let l be k - (3 - 15/6). Which is smaller: l or 6?
6
Let g = -39 - -25. Let n be (g/(-21))/((-4)/(-6)). Which is greater: n or 2/47?
n
Let t be ((-3)/30 - 24/60)*2. Which is greater: t or 4/157?
4/157
Let c(j) = -5*j + 6. Let n be c(-5). Suppose -2 = -2*y, 4*y - 3 = -4*z - n. Let h be (z/(-12))/(48/(-27)). Is -1 smaller than h?
True
Let x = 2628.47 - 2629. Which is smaller: 2/11 or x?
x
Let j = -6 + 13/2. Let v = 3 - 3. Is v greater than or equal to j?
False
Let s be 28 - (2 - (-8)/(-2)). Suppose -p = -2*o + s - 2, o = -4*p - 94. Is -24 greater than or equal to p?
True
Let c be (-1)/(1/4)*6/9. Suppose -5*a + 2*f - 7 = 17, -5*a + 5*f - 30 = 0. Which is smaller: a or c?
a
Suppose -3*z + 15 = -2*z. Let c = 14 + -11.4. Let k = c + -2.6. Which is greater: z or k?
z
Let o(w) = w**2 + 23*w - 53. Let d be o(-22). Are -75 and d equal?
True
Let b = -111 - -451. Let l be b/(-1232) + (-2)/(-8). Are l and 0 nonequal?
True
Let v be (-2)/4 + 14/12. Let m = 15/419 + 1197/1676. Are v and m equal?
False
Suppose 27*p = -26*p - 8798. Which is smaller: p or 3?
p
Let q be 133/76*(-1 + 2) - 2. Which is smaller: 43/16 or q?
q
Let y = 568 - 581. Is y smaller than 6?
True
Let b be (-14)/(-63) - 32/(-18). Suppose -4 = -b*l - 0. Suppose -3*i + r = -l, i = -r + 2 + 4. Is i greater than or equal to 4?
False
Let m be -3 + 1 + 81/4. Let i(h) = h**2 + 11*h + 6. Let z be i(-12). Which is smaller: z or m?
z
Suppose -20 = 4*f, 3*p - 5*f - 27 = 34. Is p > 14?
False
Let c be ((-10)/25)/(6/(-10)). Let j = -4.3 + -0.1. Let l = 1.6 - j. Which is smaller: l or c?
c
Let n(t) = -21*t + 62. Let i be n(3). Which is bigger: i or -0.247?
-0.247
Let u = -1/4592 - 247945/105616. Is -1 greater than u?
True
Let l = -54 + 53. Let h be 295/6*(-3)/(-4). Let x = -37 + h. Which is greater: x or l?
x
Let c(x) = -x**3 + 12*x**2 + 6*x + 83. Let u be c(13). Is 5 not equal to u?
True
Let o = 963/14 - 69. Let u = 11 - 10. Which is smaller: u or o?
o
Let b(h) = -7*h + 8. Let g be b(5). Let l = -31 - g. Which is greater: -5 or l?
l
Let y be (2446/(-8512) - 0) + (-4)/(-14). Let q = 321/10336 + y. Is q less than -1?
False
Let b = -67/4 + 84/5. Suppose -2*g = 2*z + 12, -11*g + 6*g - 2*z = 15. Is g smaller than b?
True
Let d = 6 - 3. Let u = -2 + d. Let f = 48.4 - 35.4. Is f greater than u?
True
Let a be (-9 - -1) + ((-100)/(-2))/10. Which is greater: a or -4?
a
Let x be ((-174)/4)/((-2015)/80 - -25). Is 1391/6 <= x?
True
Let g = -11902 + 4368031/367. Do g and -1 have the same value?
False
Let q = 79.3 - 79. Which is smaller: -19 or q?
-19
Let z = 98/803 - -84/73. Suppose 4*q = -2*m + 10, 0 - 10 = q - 2*m. Is q bigger than z?
False
Let b(h) = -h - 13. Let y be b(-11). Suppose -8*f + 51 = 123. Which is smaller: y or f?
f
Let d = -2276 - -2271. Is d greater than 125?
False
Let b be (-6604)/(-6565) + 4/((-12)/3). Which is smaller: 1 or b?
b
Let h = 16 + -26. Let u be ((-2)/h)/((-84)/(-45)). Let a = 85/252 + u. Which is smaller: 1 or a?
a
Let m = 2.1 + -1.3. Let o = m - 0.7. Suppose -49 + 1 = -6*f. Is f greater than o?
True
Let q = -215.2 + 213.2. Is q at least -96?
True
Let t(s) = s**3 + 6*s**2 + s - 1. Let j be t(-4). Suppose 2*v - j = 5*v. Let d be 2/v - (-15)/(-54). Which is bigger: d or 0?
0
Suppose -2*c = -2*f + c + 4, 2*f = -c - 12. Let x be (4 - (0 - -2))/1. Suppose -4*d - x*a = 28, -3*d - a = -2*a + 11. Which is smaller: d or f?
d
Suppose -5*a + 2*u - 50 = -641, u = 2*a - 236. Suppose 15 + a = 5*g - j, 4*g - 3*j = 116. Is g at least 26?
True
Let d = -25 - -23.8. Let y = d + 1.7. Is -3 at least as big as y?
False
Let j(q) = -q**2 + 6*q - 2. Let v be j(6). Let u = -1 - v. Let d = 5585 + -5587. Is d at least as big as u?
False
Suppose -s = -m, 2*m + 3*m + 14 = -2*s. Let f be (-3 - 44/(-12))/(m/(-210)). Is f > 70?
False
Let f = 22 + -20. Suppose 1 = -3*h - f. Which is bigger: -2/159 or h?
-2/159
Let a = -126 + 126. Let j be 2/41*(-1)/(-3). Which is smaller: a or j?
a
Let q = -2363 + 2586. Which is smaller: q or 220?
220
Let q = 0.2515 + 123.6485. Let m = -131 + q. Let p = m - -0.1. Is p at least as big as -1?
False
Suppose 0 = 4*l - 3*l - 480. Let s = 4313/9 - l. Let c = s + 37/36. Which is bigger: c or -5/8?
c
Let b be (-2)/(-7)*255/870. Let w = 10/29 + b. Let t = -8 + 7.9. Do t and w have the same value?
False
Let d = 11.5938 - -3.4352. Let t = 0.029 - d. Is -2/7 at most t?
False
Let t(m) = m**2 - 6*m + 9. Let b(y) = -y**3 - 10*y**2 + 8*y - 27. Let l be b(-11). Let n be t(l). Which is smaller: n or 41/5?
41/5
Let a = 0 - -3. Let o be (-4)/a*9/42. Let f = -0.118 + -4.882. Is f bigger than o?
False
Let j(i) = i**2 - 5*i - 14. Let w be (6/24)/(2/56). Let b be j(w). Is -1 smaller than b?
True
Let y = -18 - -18.5. Let z(c) = 5*c - 4. Let q be z(2). Which is greater: y or q?
q
Let d(q) = q**3 - 2*q**2 + 4*q - 3. Let i be d(2). Suppose 2*j = -3*z + 10, 0 = -5*z - i*j + 40 - 15. Which is greater: z or -34?
z
Let l(z) = -z**3 - 2*z**2 + 15*z - 2. Let h be l(-5). Let b be (65/80)/(h/4). Is b at most as big as -1?
True
Suppose 15*b + 3 = 12*b. Suppose w + 2 = 254. Let y be 8/12 + (-195)/w. Which is bigger: b or y?
y
Let d = -7 + 3. Let m be 6/d*21/27. Is m > -1?
False
Suppose -4*n + 2*d = 14, -8*d - 9 = n - 3*d. Which is smaller: n or -54?
-54
Let m = 21 + 5. Let f = -103/4 + m. Suppose 0 = 3*x - 7*x - 4. Which is bigger: f or x?
f
Let l = 29 - 72. Let j = l - -41. Let c be ((-15)/(-10))/(2/4). Which is smaller: j or c?
j
Let y(a) = -a - 13. Let g be y(-14). Let v = -41 + 7. Let h = v + 43. Which is greater: h or g?
h
Let l be 2/(-15) - 144/(-1130). Which is greater: 1 or l?
1
Let k(n) = -n + 4. Let m be k(13). Let j = -6 - -14. Let r = j + m. Is r less than 0?
True
Let j be (7 - 10)/((-2)/(-6738)). Let x = 60805/6 + j. Let y = x + -28. Is y not equal to -1?
True
Let b(i) = -i**2 + 21. Let p be b(-5). Let v be p/16 + 59/(-4). Is v >= -13?
False
Let v = 164.55 + -28.45. Let f = -142 + v. Which is smaller: f or -1?
f
Let n = 2110 - 2283. Is n <= 3?
True
Let z be 24/(-60)*(-190 + 0). Let n = z - 47. Is 30 >= n?
True
Let a be (-15)/(-12)*(-1 - -2). Let c = 574 + -575. Which is bigger: a or c?
a
Suppose -5*v - 2*k = -15, 4 = v + 3*k + 1. Suppose 2*x - 10 = -4*t, v*t + 20 = 4*x - 0*t. Let q be (4 - (2 + 0)) + (4 - -1). Are x and q equal?
False
Let k(p) = p**2 + 33*p + 96. Let g be k(-31). Which is bigger: -0.6 or g?
g
Let q(y) = 2*y**2 + y - 1. Let o be q(2). Suppose -152 = 15*b + 28. Let x(t) = t**2 + 13*t + 11. Let u be x(b). Is u greater than o?
False
Let f = -11352 + 397354/35. Is 0 bigger than f?
False
Let s be (1 - 0) + (-1)/2. Let n = -2861 - -2831. Do s and n have the same value?
False
Let f = -541 - -541. Let z = 2/7303 - -1241444/240999. Let v = z - 16/3. Which is bigger: v or f?
f
Suppose -5*b + 33 + 37 = 0. Let o = 31 - -9. Let k be -5*12/o*(-52)/6. Which is smaller: k or b?
k
Suppose 0*f + w - 38 = 4*f, -3*w = 3*f + 36. Let t be ((-4)/f)/((-5)/(-150)). Suppose 3*d = -0*d - b + 38, -5*d + 4*b = -52. Do t and d have the same value?
True
Let x = 512 + -105. Let b = x - 4073/10. Suppose -5*d = -4 - 1. Are d and b equal?
False
Let w(m) = -4*m**2 - 5*m - 3. Let b be w(-3). Let z be 3*(-2 - b/9). Let j = -4 + z. Is j smaller than -5/3?
True
Let g be -4 + 12042/(-195) - (-12)/78. Which is greater: -1/3 or g?
-1/3
Let o = 197 - 245. Do o and 1 have the same value?
False
Let q = 11.363 - 11.35. Is -0.02 less than or equal to q?
True
Let g be 5 - (2797/45 + (-32)/(-80)). Which is bigger: g or -59?
g
Suppose -4*z + 11 - 3 = 0, 5*b = -z + 422. Let q = b + -29. Is q greater than 56?
False
Let j(q) = q**3 - 5*q**2 - 5*q + 2. Let c be j(6)