= 0.215 - r. Is 4 at least as big as j?
True
Let p be 1 + -4 + 2 + 0. Let x(b) = -b**2 + 2*b + 1. Let j be x(p). Do -5 and j have the same value?
False
Suppose -3*g + g = c + 1, 4*g = -3*c - 7. Let z be 2*(51/30 - g). Is 13 >= z?
True
Let k(x) = 9*x + 2. Let t be k(2). Suppose 0*l = 2*b - l - 5, 4*l = -b - t. Let v = 131/804 - -1/268. Is v not equal to b?
True
Let p = 229.1 - 229. Which is smaller: p or -0.1499?
-0.1499
Suppose -2*x + 2*u = -0*x - 70, 2*x - 3*u = 68. Which is greater: x or 147/4?
x
Let l = 19093/3 - 6451. Let s = 86 + l. Which is smaller: 4.9 or s?
s
Suppose -74*n + 598 = 2818. Do n and -15 have different values?
True
Let r = 0.3 - 1.3. Let k = 35.3 + -36.6. Which is smaller: r or k?
k
Let l be 10/4*4/(-130)*-13. Let w = -7/25 + 183/475. Is w smaller than l?
True
Let d = -2885 - -2888. Let t = -0.2 + 0.19. Which is smaller: t or d?
t
Let c = 156 + -155.52. Is c < 3?
True
Suppose i = -5*b + 11, -5*b + 8 - 3 = -5*i. Do 2/685 and i have different values?
True
Let d(b) = 2*b**2 - 11*b + 5. Let p be d(12). Let o = p + -643/4. Let r = 0.7 - -0.3. Do o and r have the same value?
False
Let i = -150.703 + -0.297. Let h = i - -150. Is h less than or equal to -2/71?
True
Let j = 3.4 + -3.23. Let a = j - 15.17. Is a > -2/3?
False
Let q(c) = -c**2 + 3*c + 2. Let j(t) = -2*t - 2. Let p be j(-2). Let n be q(p). Which is greater: 5/2 or n?
n
Let f = 69.3 - 73.73. Let h = f - 0.07. Let p = -1.5 - h. Which is greater: 4 or p?
4
Suppose 0*b = 4*b + 2*o + 6, -5 = 4*b + o. Which is greater: b or -2/317?
-2/317
Let i be (2 - 4)*(-2 - 0). Let a(h) = -h**2 + 9*h - 15. Let g be a(i). Let l = -1351/3 - -455. Which is smaller: g or l?
l
Let j be -3*(2/6 + 0). Let u be (j/(-14))/((-2)/(-24)). Let o be 2/12*13 - 4/24. Which is smaller: u or o?
u
Let q = -33 + 62. Let n = -28.9 + q. Do -15 and n have the same value?
False
Let i be (-150)/120 + 593/4. Which is smaller: 145 or i?
145
Let s = 176 - 92. Let a = s - 79.1. Let n = 5 - a. Which is greater: n or -0.09?
n
Let b(a) = -2*a - 4. Let y be b(0). Let q(j) = 3*j + 15. Let k be q(y). Which is bigger: 4 or k?
4
Let s(u) = -u - 3. Let m(h) = 2. Let z(a) = 2*m(a) + 3*s(a). Let i be z(-6). Suppose g + n + n + i = 0, 0 = -g + 3*n - 8. Which is bigger: g or -10?
-10
Let d = -88 - -18. Let o = 48 + d. Let l = o + 22.2. Which is smaller: l or -7?
-7
Let r = 20.1 + -19. Let u = -0.22 - -5.32. Let x = r - u. Which is smaller: x or 0?
x
Let y = 0.028 + 0.192. Let l = 0.04 + -0.02. Let r = y - l. Which is greater: r or 4?
4
Let c = -119 + 1073/9. Let h be 22/121 - (-532)/(-22). Let r = h - -24. Is r < c?
True
Let k = 34.081 - 0.081. Let z = k + -34.1. Is 28 equal to z?
False
Let g(r) = r**3 + 13*r**2 - 3*r - 38. Let i be g(-13). Which is smaller: -9/35 or i?
-9/35
Let j = -2 + -4. Let d(q) = -q**3 - 17*q**2 + 39*q + 26. Let b be d(-19). Let s = b + j. Which is greater: -5/13 or s?
s
Let z be -10 + 167 - (-2 + -1). Let v be 2/(-7) + z/1540. Let q = 3 - 3.4. Which is smaller: q or v?
q
Let y = -59 - -98. Let r(p) = -5*p**2 + p - 2. Let d be r(1). Let j be (-474)/(-39) + d/y. Is j <= 11?
False
Let f = 51 + -44. Suppose 0 = o - 0*o - f. Is 5 not equal to o?
True
Let k be -69 + 7 + (-6)/(-3). Let p = -30 - k. Is p smaller than 30?
False
Let v = 26 + -140. Let h = 113.7 + v. Let r = -5 + 5.07. Are r and h unequal?
True
Suppose 0 = o - 5*y + 10, 16*y = -o + 17*y - 2. Is o equal to 3/217?
False
Let g(h) = -7 - 7 + 0 - h. Let d be g(-8). Let l be (247/(-76))/(1/2) - -2. Is l at most d?
False
Let k = -7851/47 - 226385/329. Let z = 858 + k. Let m(p) = -p**2 - 8*p - 8. Let y be m(-6). Are z and y equal?
False
Let c = -1450 - -1453. Is c equal to -0.0351?
False
Suppose -65*r = -19 - 111. Suppose 0 = -2*w + w + 76. Let m = -297/4 + w. Which is greater: m or r?
r
Let v = -13.6 + 87.6. Let t be (7 - 9) + (2 - -1 - 0). Is v greater than t?
True
Let y be 6*(-7)/(-42) + -3. Let f = -16/11 + 6/11. Which is bigger: y or f?
f
Let m = -1653/52 + 254/13. Do -11 and m have the same value?
False
Suppose -285*q = -288*q - 1140. Let t be ((-16)/q)/((-2)/(-5)). Suppose 3*c - 5*n + 25 = 0, 3*c - 3*n + 20 = n. Which is smaller: t or c?
c
Let u be (-3390)/791 - 4/(-14). Is 32 <= u?
False
Let m = 2.6 + -3.1. Let t = 0.7 + m. Which is bigger: 9 or t?
9
Let h = 8 + -6. Suppose -h + 8 = 2*a. Is 2 less than or equal to a?
True
Let m = 43.93 + 0.07. Let k = -45 + m. Let g = 17 - 41. Which is greater: g or k?
k
Let v = -0.009 - 0.431. Let m = -1.44 - v. Which is smaller: m or 2/7?
m
Let i be 1 + -2 - (-5 - 0). Suppose 6*g - 2*g + 3*b = -29, -4*b = i*g + 28. Which is bigger: g or -9?
g
Let c = 0.57 - -21.43. Let b = c + -22.09. Which is bigger: 3/5 or b?
3/5
Suppose c + 78 - 104 = 3*x, 4*x - 92 = -2*c. Which is smaller: c or 45?
c
Suppose n = x, -4*x - 4*n + 15 = -3*x. Suppose 2*r - 1 = x. Let d be (-2)/18*81/(-18). Are d and r equal?
False
Let i = -306 - -274. Is 3 at most as big as i?
False
Let d be (4 - 5)*(-2 + -3). Suppose 4*b + 2*q - 6*q = -48, -d*b = -q + 48. Let p = 40 - 50. Is p at most b?
True
Suppose 26*j = 41*j - 13275. Is j bigger than 885?
False
Let n = -14937070 - -21628876423/1448. Let y = 4/181 + n. Is y < -1?
False
Suppose -5*k - 5*w = 4 + 11, -5*k = -2*w - 13. Suppose -k = -2*u - 27. Which is greater: -15 or u?
u
Let b(d) = 2*d + 42. Let p be b(6). Let v = 35 - p. Do v and -2 have different values?
True
Suppose 4*m = 5 + 7. Suppose 2*b = 5 + m. Suppose -3*p - 5 = -c - 4*c, -4*c + b = p. Which is smaller: p or -3/4?
-3/4
Suppose 3*w + 48 = 6*a - 3*a, -w = -4. Which is smaller: a or 8?
8
Suppose 0 = 3*a - 2*i + 20, -4*i + i - 65 = 5*a. Let h(z) = z**2 - 4*z + 1. Let v be h(6). Suppose -v = 4*p + 19. Is p greater than or equal to a?
True
Suppose i = -4*q + 137, 6*i + 647 = 11*i + q. Which is bigger: i or 127?
i
Let g = -2697536059/1764086 - -275/47678. Let h = -1529 - g. Is h <= 1?
True
Let r be -62 + 1*(-8 - -4). Let b = r + 34. Let n = 21 + b. Which is smaller: -10 or n?
n
Let k = 42 - -114. Which is greater: 157 or k?
157
Let r = 2815/28 + -313/4. Which is smaller: r or 21?
21
Suppose 2*u = -2*d - 3 + 1, -24 = 3*u - 4*d. Let m be 0/(-2)*(-2)/u. Which is bigger: 2/49 or m?
2/49
Let j = 532 + -815. Is j bigger than -281?
False
Suppose -i = -4*i. Let r = 52675993/869 + -60617. Let m = r - -2/79. Is i smaller than m?
False
Suppose 12 = 5*r + 2*l, -3*r + 11 = 5*l - 0. Suppose -5*x + 11 = -r*a, 5*a + 2 = -x + 4*a. Is 1 at most as big as x?
True
Suppose 0 = -v - 0*v + 3. Let q be -3*(-25)/(1400/48). Which is smaller: v or q?
q
Suppose -3*s + 10 = -0*s - 2*d, s - 3*d - 1 = 0. Suppose -5*a = -s*a - 10. Let t = a + -10. Which is greater: t or 1?
1
Let u be (2/63)/(216/(-42)). Is u < 1?
True
Let t = -52 - -51. Let f be (-10)/6*(-6)/30*t. Is f < -1/8?
True
Let f be 3 + -2 + (3 - 1). Suppose 5*j + 33 = -4*u, -5*u + f*j = j. Let z = -370 + 367. Which is smaller: z or u?
z
Let u be (-417)/(-609) + -1 + (-12)/(-42). Let b = 1248/1015 + u. Does b = 1?
False
Let c = -102.1 - -5.1. Is c at most as big as 2?
True
Let g = -2650/9 - -892/3. Let d = -22 + 26. Which is bigger: d or g?
d
Let x = -25 + 24.4. Let o be (-7)/49*(1 + 0). Are o and x nonequal?
True
Let s = 51587/45 + -1677089/315. Let j = s - -4162. Which is smaller: -16 or j?
-16
Suppose 12 = 3*c + c. Suppose -2*m + 0*m = -5*j + 21, -5*j + c*m = -19. Let n be 99/21 - (j + -1). Which is greater: n or 0?
n
Suppose 14*s + 28 = -0. Let u(h) = -h**3 + 4*h**2 - 3*h + 4. Let b be u(3). Suppose f + b*q = -q - 8, f = -4*q - 7. Is f > s?
False
Let z be (6660/(-376))/9 - -2. Is 0 bigger than z?
False
Let p = -533 + 533.05. Let s be 4/57*3/2. Which is smaller: p or s?
p
Let u = 176 - 11. Suppose -16*k = -11*k + u. Are -34 and k unequal?
True
Let d = -1829 + 1872. Which is greater: d or 42?
d
Let b(p) = -p + 1. Let y(x) = x**2 + 3*x + 2. Let r be y(-2). Let g be b(r). Are -3/52 and g non-equal?
True
Let z = 44 - 117. Which is smaller: z or -6?
z
Suppose a = 5*j + 21, -j + 4*a = 4*j + 9. Let d be 2/j + ((-744)/340 - -3). Is -1 > d?
False
Let i = -4 - -15. Let g(l) = -2*l + 4. Let u be g(i). Let b = u + 22. Are 2 and b unequal?
True
Let f = -17.58 + -0.42. Let a = 8222 - 8222.1. Which is smaller: f or a?
f
Let s = 8765/3892 + -2/973. Is 3 greater than or equal to s?
True
Suppose 5*j = 9 + 51. Let m(f) = -f**3 +