). Do a and u have different values?
True
Let i = 125 - 123. Let z be i*20 - (1 + 5). Is 32 >= z?
False
Let d = -9480 - -9479.21. Which is smaller: d or -2/13?
d
Let h(a) = -17*a - 67. Let v be h(-7). Let r = 6548/3 + -2132. Which is bigger: r or v?
v
Suppose 0 = 9*f - 7*f + 104. Let h = f + 83. Let p(c) = 15*c + 1. Let q be p(2). Is q equal to h?
True
Let v = -38823.77 - -38527. Let n = -297 - v. Is 3 <= n?
False
Suppose 0 = 3*r - 2*k + 5033, 7*k = -2*r + 4*k - 3338. Is -1676 < r?
True
Suppose 11*o = 13*o - 4. Suppose -6*j - a = -o*j, -3*a = j - 11. Does j = 4/53?
False
Suppose 5*b + 117 = -143. Let y = b - -56. Let i be (-22)/y - (-1)/(-2). Are i and -4 non-equal?
True
Let g be (-1)/(9/(-3) - -2). Let u(v) = 4*v. Let j be u(g). Suppose 41 = -j*w - 71. Are -27 and w nonequal?
True
Let b be (5/4)/(378/(-6768)). Let o = b + 68/3. Which is greater: o or 2/11?
o
Let s = 7852 - 7784. Which is bigger: -2/61 or s?
s
Let y(g) = 62*g - 683. Let x be y(11). Let d be 2/(-5)*(-8)/52. Which is smaller: d or x?
x
Suppose 7*d + 33 = 5. Let b be (-4)/26 + (d - 11/13). Is b <= -2?
True
Suppose 1547 = -16*d + 7883. Let g = d - 1186/3. Is -6/13 <= g?
True
Let f = 355.11286 - 0.11286. Is -0.9 at most as big as f?
True
Let m(s) = -4*s**2 - 64*s - 34. Let v(d) = -4*d**2 - 63*d - 35. Let p(w) = 3*m(w) - 2*v(w). Let z be p(-16). Let t be -7 + 7 - 4/350. Is z at least as big as t?
True
Let b = -2340322889/1105 + 2117939. Let x be ((-2)/(-13))/(1 - -4). Let u = x + b. Is 1 less than u?
False
Let b(f) = -219*f - 42141. Let t be b(-192). Let l(k) = -15*k - 3. Let c be l(6). Is c greater than t?
False
Let c = 22891 - 23466. Which is greater: -1.7 or c?
-1.7
Let j = 138 - 77. Suppose -4*d + j = 3*h - 25, 0 = -4*d + 5*h + 70. Let c be 64/(-60)*45/d. Which is smaller: -1 or c?
c
Let t = -29681/26 - -2285/2. Suppose -5*h = -h - 0*h. Is h < t?
True
Let c = 1366.2 + -1363.65. Which is greater: c or 3?
3
Let i(p) = p**3 - 4*p**2 - 7*p + 12. Let n be i(5). Suppose h = -b - 24, -3*b - 148 = 2*b - n*h. Let k = -27 - b. Which is smaller: 2/109 or k?
2/109
Let f be (-1 - 0)*(35 + -9 - 3874). Do f and 3848 have the same value?
True
Suppose -5*g + 5*r = -124 + 204, 0 = -3*g + 13*r - 108. Let p(s) = -10*s**2 - s. Let b be p(-1). Which is smaller: b or g?
g
Let b be 8*1/((-42)/(-15))*965/18528. Is b smaller than -1?
False
Let u(b) = -3*b + 8. Let a be u(-6). Let c be ((-45)/(-18))/((-1)/a). Which is bigger: -395/6 or c?
c
Suppose 264 = -6*m - 5*m. Let v = -164/7 - m. Suppose -7*r + 2*r = 0. Which is smaller: r or v?
r
Let z be 2*6/24*2. Suppose 3*w = 5*k + 9, -k - 3 = -w - 3*k. Let n be ((-3)/1)/(w/(-2)). Which is bigger: n or z?
n
Let u be (-1022)/(-98) - (-4)/7. Let w(h) = h**3 - 10*h**2 - 8*h - 3. Let k be w(u). Let t = k + -208/7. Which is smaller: -8 or t?
-8
Let c be 42/(-68) + 1/2. Let z = -248 + 166. Let o = z + 78. Which is bigger: o or c?
c
Let k = -656 - -4601/7. Suppose 4 = 2*o, 0 = d - 2*o - 2*o + 6. Let i = 2 - d. Is i at least k?
False
Let d be (264/(-15))/(116/30). Let z = 14491/3190 + d. Are 1 and z nonequal?
True
Let b be -1 + (-27)/21 + 2. Let j be 560/(-64) - -6 - 3/(-4). Which is greater: b or j?
b
Let k = 4085 - 4147. Which is smaller: -2/5 or k?
k
Let s = -58 + -4. Suppose 0 = -n - 3*c - 67, 2*c - 2 = -0*c. Let f = s - n. Which is smaller: f or 9?
f
Suppose 8*o = 11*o + 45. Let z be -4 + ((-72)/o - 1). Let h(m) = -m**3 + 2*m**2 - m - 2. Let q be h(2). Is z equal to q?
False
Let t(x) = 6*x**3 + 3*x**2 + 15*x + 11. Let k = 46 + -50. Let w be t(k). Is w less than -385?
False
Let i be -4*2 + (-1 - -3). Let u = -10499381/2265291 + -1/35957. Let l = u + -2/9. Do i and l have the same value?
False
Suppose -4*v - 20 = 4*m, -4*m = -4*v + m + 25. Suppose -75 = -n + 2*j, -4*j = -n - v*j + 83. Which is greater: 66 or n?
n
Let r(m) = m**2 + m + 97. Let w be r(31). Suppose 210*b - w = 199*b. Which is greater: -1 or b?
b
Let j = 195 - 141. Let l = j - 49. Let k be 3/4 + (l/4 - 2). Which is smaller: 2/115 or k?
k
Let s = -0.1016 + -0.0584. Is s equal to -42.3?
False
Let m = 3113 - 3112. Is 38/75 > m?
False
Let r be (-2)/6 - 4/24*-62. Let f(t) = -t**2 + 8*t - 16. Let x be f(7). Let k be 11/((-3)/x*3). Is k equal to r?
False
Suppose -3*c + 39 = -i + 242, 0 = -i - c + 211. Let j = i + -453. Which is greater: j or -243?
-243
Let t = 279.2313 + -0.5313. Let q = t - 279. Let p = 2 - 3. Which is greater: p or q?
q
Suppose -52 = 157*p - 151*p + 14. Which is smaller: p or -447/40?
-447/40
Let f = -8.2 - -9.2. Let d = 87 + -126. Let q be 2/3 + 26/d. Which is greater: q or f?
f
Let k = -2.822 - -2.722. Is -1/1877 < k?
False
Let h = 1093/11418 - 5/1038. Is h at most 106.7?
True
Let o = 1240900940/987 - 1257245. Let x = 4/21 - o. Let s = 18172 + -18173. Which is smaller: x or s?
s
Suppose 0 = -2*n - 2*j + 618, n - 72 - 249 = 2*j. Let a be (2 - (-2 + 1)) + (n - 0). Suppose -964 = -16*w + a. Which is greater: 81 or w?
81
Let i be (14524/(-36))/(1 - 2/8). Let n = -538 - i. Let k = 40/189 - n. Is -5 > k?
False
Let f = 6/215 + -275439/860. Is -320 <= f?
False
Suppose 2618 - 213 = 65*u. Let a = 16 - 54. Let k = u + a. Which is smaller: k or 2/11?
k
Let x = -3/79976 - 9511/74457656. Which is smaller: x or -0.1?
-0.1
Suppose 3*w + 2*w = -5*u + 213615, 5*w = -15. Let s be 1 + (u/(-4545) - -1 - -3). Let v = s - -1/1515. Which is smaller: -5 or v?
-5
Let a = 1502/7 - -12333/14. Which is smaller: 1095 or a?
1095
Suppose 4*w + 297*x = 293*x + 1644, -5*w + 2025 = -5*x. Is w != 406?
True
Let w = -89/3 - -33. Let m = w - 32/9. Let y(u) = -u**3 - 6*u**2 - 12*u - 7. Let c be y(-2). Which is smaller: m or c?
m
Let j be 1 + 1 + (-23)/2. Suppose 2*x = 2*m, m = 3*x - 5*x - 6. Let a be (1 + 7/x)/((-9)/(-36)). Is a less than j?
True
Let l(g) = -4*g + 22. Let i be 4 - 4*20/(-8). Let b be l(i). Let v = b + 32. Which is smaller: -1 or v?
v
Let p = -71 + 79. Let c(a) = a**2 + 2*a + 12. Let f be c(9). Let d be f*p/(-450) - -2. Is 1 greater than d?
True
Let i(h) = h**3 + 7*h**2 + 2*h + 2. Let y be i(-7). Let c be 116/y + (-1)/3. Is -11 at most c?
True
Let q = 28 - 234. Let i = q + 206. Let m = -25/78 - 1/78. Which is bigger: m or i?
i
Let b = 3122623667717260732/3914064769615629 - 5/31757117806212. Let t = 5747/7276 - b. Let m = t + 797. Are m and -1 unequal?
True
Let n(y) = 5*y - 4 - 1 + 0 + 1. Let a be n(1). Which is greater: 3/13 or a?
a
Suppose 0 = 30*f - 9739 - 6311. Is f greater than or equal to 537?
False
Let r be 31407/(-111188) - 2/(-8). Which is greater: 3 or r?
3
Let i be ((-22)/33)/((-1)/3). Suppose i*l - 128 = -126. Which is bigger: 4/19 or l?
l
Let h = 65 + -36. Let n be 2 + (-4 - (-20)/5). Suppose -n*q = -6*q + 112. Do q and h have the same value?
False
Let a be (2 - 2370/(-422))*(-121)/3619. Let w = 1/1477 - a. Is w smaller than 0?
False
Suppose -4*j + 9 = n - 2*j, 4*j = -n + 7. Suppose n*a = 15 + 29. Let m = a - -14. Is m != 18?
False
Suppose 2*l + 5*b + 7 = 0, -5*b = -0*l + 3*l + 3. Let r be l*(-3)/(-279)*24/16. Let k(o) = -o**3 - 19*o**2 + 66*o - 1. Let h be k(-22). Is r equal to h?
False
Let k(g) = -g**3 - 13*g**2 - g + 2. Let h(y) = y - 10. Let d be h(-3). Let s be k(d). Let o = 14 - s. Which is smaller: -11 or o?
-11
Let w(q) = -9*q**3 - 13*q**2 + 8*q - 3. Let z be w(-2). Is z >= -1/12932?
True
Let w be 0*(-1)/(-4) + -23. Let k = 14 + w. Suppose 2*r = -2*s - 30, -3*s = -6*r + r + 5. Is k smaller than s?
False
Let g = 7017 + 11681. Is 18698 greater than g?
False
Let h = -7918.7 - -7966. Is -7 greater than h?
False
Let a = 3233 + -3232. Which is smaller: a or 8/2079?
8/2079
Let i be -1 - -1 - (14 + -12). Let l be 8/(-6)*27/18. Let a be 3/(-33) + 2/l. Is i greater than or equal to a?
False
Let m be 3/(-4)*(-2)/3. Let g = 321.618 + -0.618. Let h = g + -312. Is h less than or equal to m?
False
Let k be 2/7 + 642/(-2268). Let b = -275/32508 + k. Let s = b - -363/3268. Is -1 at least s?
False
Let d = -0.8 - -1.002. Let p = d - 0.302. Let b = 44 + -25. Is p at least b?
False
Let w = 0.16 - -5.84. Let z = -5 + w. Let s = 0.64 + -0.55. Which is smaller: z or s?
s
Let o be (-2)/(-3) - 6/(450/(-145)). Let y(l) = -25*l - 4. Let r be y(1). Let k = 33 + r. Is o not equal to k?
True
Let n = 11294/801 + -127/9. Let g = 271/356 + n. Which is smaller: 1/13 or g?
1/13
Let y(t) = -4*t**3 - 16*t**2 - 60*t - 69. Let h