 = -t. Let b = t + q. Is -7/2 equal to b?
False
Let s(l) = -l + 2. Suppose -11 = 4*y - 23. Let h be s(y). Which is bigger: 6/25 or h?
6/25
Let o(u) = u**2 + 6*u + 1. Let y be o(-6). Let t = 0 + y. Let c = 47 - 45. Is c not equal to t?
True
Let g(v) = -2*v**2 + 1 - 199*v + 198*v + 8*v**2. Suppose 0 = 3*l - 6 + 3. Let r be g(l). Is 6 less than r?
False
Let g be (-4)/((-4040)/3 + (-24)/(-36)). Is -1 > g?
False
Let y = 51 - 27. Let n = y - 24. Let f be (n/1)/(2 - 4). Is 4/17 less than or equal to f?
False
Let w = 11/4 + -9/4. Let l(s) = 2*s**2 + 1 - 2*s - 9*s - 9 - 3*s**2. Let j be l(-10). Is w greater than or equal to j?
False
Let o = -236 + 292. Is o smaller than -1?
False
Let w be (-2)/19 - (4475/(-95) - -5). Let r be ((-1)/((-2)/(-86)))/(-4 + 3). Which is bigger: w or r?
r
Let q be ((-4)/(-6))/(50/(-375)) + 0. Which is greater: -3 or q?
-3
Let u be (-13)/(-4) + 0 - 2. Let j = 0.149 + -0.549. Which is smaller: u or j?
j
Let x be 8/(5/45*-6). Let d(n) = -n**3 - 6*n**2 - 6*n - 5. Let y be d(-3). Is x bigger than y?
True
Let t(h) = h**2 - 9*h + 6. Let k be t(5). Suppose -m = -4*z + 1439, 6*z - 2*z + m = 1433. Suppose -b + 343 - z = 0. Is k less than or equal to b?
False
Let x be -2 - 0 - (7 + -15). Suppose -4*t + 5*t = -x. Let v be (-2)/6*(t - 3). Which is bigger: v or 6?
6
Let m be (-42)/(-564)*3/(-21)*-4. Let l(o) = -o**3 + o**2 + 7*o - 2. Let j be l(3). Is j at least as big as m?
True
Let b = -30 + 37. Suppose b*k = 11*k - 4. Which is bigger: -1 or k?
k
Let v be 2/(-6) + 174/(-18). Suppose 65 = -5*r - 0*r. Which is greater: v or r?
v
Let x = -0.076 - -3.376. Let k = x - 3. Let q = -106/3 - -427/12. Are k and q unequal?
True
Let q be 180/(-27)*(-7)/((-7)/(-18)). Suppose 580 = 5*s - 5*d, -1 + 7 = 2*d. Which is greater: q or s?
q
Let j = -0.03 - -0.63. Let m = -0.2 + 1.8. Let b = m - j. Is 1 smaller than b?
False
Let d = -11027256/19 + 580683. Let z = 301 - d. Let v = 9.1 - 9. Which is bigger: v or z?
v
Let q = -1298 - -6418/5. Let b = q + 427/30. Which is greater: b or -3?
b
Let f(i) = 5*i - 9. Let s be f(2). Let n be (0/s)/(18 - 17). Which is bigger: n or 1/2?
1/2
Suppose 0 = -8*p + 96 + 128. Suppose 12*k = 11*k + p. Is k > 28?
False
Let i = -2/175 + -163/1050. Which is smaller: i or -0.438?
-0.438
Suppose 0 = -a + 4*t + 7, 2*a - 4*t = -3*t. Which is smaller: a or 9/23?
a
Let u be 5/(-15) + (1 - (-5)/6). Is -13 > u?
False
Suppose -100 + 13 = -3*x. Let i = x - 17. Let p be (-10)/i - 45/(-30). Do p and 0 have different values?
True
Suppose -b - 2*h = 3*h + 21, -4*h = 3*b + 8. Suppose k - b + 12 = 0. Let w = -4 - k. Is 3 less than or equal to w?
True
Let o = 32 + -23. Let c(b) = b**3 - 9*b**2 - 9*b - 10. Let f be c(10). Suppose -5*k - 5*h + 50 = f, -h - 3*h = -3*k + 16. Do k and o have the same value?
False
Let p = -7/53 + 214/1219. Let t = -5 + 6. Which is smaller: p or t?
p
Let s be (-1 - 13/(-3))/(35/5355). Is s < 509?
False
Suppose -3*n + 1 = -5. Suppose -2*j = f + 4*f - 5, 2*f - 50 = 4*j. Let l be (-6)/j + 4/10. Is n greater than l?
True
Suppose 132 + 2 = -67*w. Which is smaller: -384 or w?
-384
Suppose 23*c - 2*a + 6 = 26*c, c - 2 = 3*a. Let z = 7 - 13. Which is greater: c or z?
c
Let g = 38 - 26. Let f be 4/6*(-6)/(-4). Let h be -2*f + g/7. Which is smaller: -0.2 or h?
h
Suppose -135 = -82*i + 357. Is 37/5 <= i?
False
Suppose -50*g + 8 + 92 = 0. Do -3.3 and g have different values?
True
Let c be (-4)/(-6)*(-18)/(-101). Which is smaller: c or 0?
0
Suppose -3*n - 22 = -q, -3*q - 3*n = -7*n - 41. Suppose q*g + 6 = 10*g. Suppose -g*w - k - 2*k = 24, 4*w - 5*k = -4. Which is greater: -9 or w?
w
Let q = 4.229 - 0.029. Let x = q + -3.9. Suppose 5*i + 3*c + 9 = 0, -i - c + 0*c - 3 = 0. Is i <= x?
True
Let b(k) = -k**3 - 8*k**2 - 6*k - 6. Let p be b(-7). Let r(h) = h**2 + 10*h + 8. Let s be r(-7). Do s and p have the same value?
True
Suppose 4*z = -0*z + 84. Suppose 0 = x + x + 3*q + z, 0 = q - 3. Is -15 less than x?
False
Let c = -50 - -83. Let r = 35 - c. Is 5 != r?
True
Let d be (0 - -3 - 2) + (7 - 3). Suppose 0*k - d*k = -3*n + 129, 3*n = 2*k + 48. Is -27 less than or equal to k?
True
Suppose 15*s + 43 = -317. Suppose 0 = -3*o + 4*j + 68, -o + 4*j + 21 = j. Let u = s + o. Is -7 at most u?
True
Suppose 1607*j = 1597*j - 10. Is j at most -3/268?
True
Suppose 0*u = -3*u + 54. Let b be (-27)/(3 - u/4). Let t be (-6)/b - 7/(-3). Is t < 2?
False
Let h = 0.53 - 0.37. Let w = -0.26 + h. Let j = w + 0.1. Which is smaller: 0.1 or j?
j
Suppose 3*k = -3*x + 48, -4*x + 4*k + 60 = -4. Suppose 0 = u + j - 16, -5*u + 5*j + 16 = -4*u. Is u less than x?
False
Let m be 4/10 - 402/(-10). Let k = 41 - m. Let i = 1.7 - -5.3. Which is greater: i or k?
i
Suppose 3*x + 12 = -93. Let l be ((-30)/x)/(1/28). Suppose 0 = 3*r + r - l. Which is greater: r or 2?
r
Let j = 201 + -717/4. Which is bigger: j or 23?
23
Let r = 44644/31 + -1441. Which is smaller: -1 or r?
-1
Let y = 93.643 - -0.657. Which is greater: y or -1/4?
y
Suppose -18 = u - 9. Let m(c) = c**3 + 12*c**2 + 26*c - 8. Let f be m(u). Is f equal to 3?
False
Let z be 94/1 - (0 + -1). Suppose 4*y - z + 99 = 0. Which is bigger: y or -1/112?
-1/112
Let g = -1015 - -1014.8. Let v = 2 + 0. Let k be v*(4/(-2))/4. Is g less than or equal to k?
False
Let c be (-64)/168 - (-2)/(-7). Let b(y) = y**2 + y - 12. Let h be b(3). Which is smaller: c or h?
c
Let t be -3*6/(-45) + (-1240)/3350. Which is smaller: 1 or t?
t
Let v(q) = 6*q**2 - 12*q + 9. Let r be v(3). Suppose -i - 5*y = -r, -2*i + 33 - 3 = 4*y. Is 28/5 less than i?
True
Let a(f) = -f - 9. Let u be a(-4). Suppose -2 = c - 3*c. Let z = c - 4. Is u greater than or equal to z?
False
Let o = -64 - -60. Are o and -36/13 nonequal?
True
Suppose 0 = 4*v - 16, 4 + 5 = -s + 4*v. Let p be (-1)/s*28/(-8). Suppose -18*l + 6 = -12. Which is bigger: l or p?
l
Let c = 275 - 255. Is c less than or equal to 20?
True
Suppose c = -0*c - 5*b + 14, 5*c + 3*b = 4. Let i = -1.3 - 2.7. Does c = i?
False
Let r = -1 + 1. Let u be (r/(-2))/(8 + -5). Suppose 3*h + 5 - 2 = u. Which is greater: h or 3/10?
3/10
Suppose 3 = 4*o - g, -4*o - 3*g = -6*o + 9. Suppose o = 8*c - 2*c + 24. Which is smaller: c or -16/3?
-16/3
Suppose h = -2*t - 17, -55 = 6*t - 2*t - 5*h. Let x be 24/42 - t/7. Suppose 1 - 8 = -3*u - 2*r, -x*r - 28 = -4*u. Are 1 and u non-equal?
True
Suppose 119 = -4*x - 5*b - 18, 2*x - 5*b + 61 = 0. Let f = -34 - -1. Is x at least as big as f?
True
Suppose -5*k + 5*q + 31 = -k, 3*k - 15 = q. Suppose 2*m = -b + k*b + 5, 5*m - 5*b - 20 = 0. Suppose 0 = -2*u + m*u + 10. Is u bigger than -4?
True
Let a = 615 - 611. Which is greater: 87/28 or a?
a
Let j be (-39)/(2 + 1) + 0. Suppose n - 67 = -4*m - 2*n, 0 = -2*m + 4*n + 6. Let l = j + m. Are 1/10 and l non-equal?
True
Let r = 0.344 - -0.006. Let i = r + -4.85. Which is bigger: 0.1 or i?
0.1
Suppose -4*b - 34 = -6*b. Suppose -53 = -4*z + 3*h, 7*z - 24 = 5*z + 2*h. Are b and z non-equal?
False
Let a(d) = -d**2 + 11*d - 24. Let p = 119 + -111. Let w be a(p). Is 10/19 greater than w?
True
Let g = 2096/2139 - -14/93. Which is greater: g or 2?
2
Let o(z) = 22*z - 331. Let w be o(14). Which is greater: 0 or w?
0
Let b be ((-483)/(-252))/(2/6). Is b at most as big as 5?
False
Suppose 5778*o - 5783*o = 5. Are o and -2/1133 nonequal?
True
Suppose 3*a = 6*a - 126. Suppose 4*d - 3*z = 109, -z + a + 71 = 4*d. Let b = d - 41. Is 0 <= b?
False
Let d = 13 + -11. Let q be 190/240 - d/(-6). Let u = -7/8 + q. Is u greater than or equal to -3?
True
Let j = 34 + -43. Let l be 1/(3*3*1/j). Does -2 = l?
False
Let r = -715/34 - -366/17. Which is smaller: 116/7 or r?
r
Let a be -14 + (-275)/(-22) + 351/(-22). Is a at most as big as -17?
True
Let h = 0.214 + 0.086. Which is greater: h or -15?
h
Suppose 5*g + 58 = 4*h + 3, 3*g - 2*h + 31 = 0. Is g smaller than 14?
True
Let k be ((-9)/12)/(2*(-3)/(-72)). Are k and -9 nonequal?
False
Let j = 71 - 509/7. Suppose 5*g - 3 = -4*z - 12, 5 = -2*g - 3*z. Let y(s) = -2*s**2. Let b be y(g). Which is smaller: b or j?
b
Let o = 74 - 51. Let y = 21 - o. Which is smaller: y or 2?
y
Let v = -28 + 28.4. Let t = v + 1.6. Let m = 1 + -8. Which is greater: t or m?
t
Let s = 6/3397 + -13642/30573. Let q = -0.1 + 0.2. Let m = -1.1 + q. Is s greater than m?
True
Let a be ((-144)/40 - -4)*-5. Is a at least as big as -9/11?
False
Let k be (-10)/5