j?
v
Let l = 75 + -335/4. Suppose -7*j - 6 = 57. Is j equal to l?
False
Let u be ((-138)/4)/1*(-65)/((-6825)/980). Which is greater: u or -311?
-311
Let y(s) = 3*s**3 + 11*s**2 + 33*s + 69. Let g be y(-6). Which is greater: g or -1147/3?
g
Let y = 1193/4644 - 8/1161. Suppose 2*d = 7*d - 2*i - 14, 0 = -3*d + 4*i. Let x be -1 - (84/(-45))/d. Which is smaller: x or y?
x
Suppose 2*s + 2*s - 116 = -5*u, -6*s + u = -140. Suppose 2*p - 20 = 4*j, 3*p - 4*j + 4 - s = 0. Are p and -3/313 nonequal?
True
Let o(q) = q**3 - 8*q**2 + 4*q + 20. Suppose -x = -4*g - 3*x + 32, 5*g - 40 = 2*x. Let z be o(g). Let j = z - 65. Is -13 != j?
False
Let s(u) be the second derivative of u**5/20 + 3*u**4/2 + 22*u**3/3 - u**2/2 - 159*u + 1. Let r be s(-15). Which is smaller: 136/9 or r?
r
Let p = 38 + -37.66. Let z = p + -14.34. Let s be ((6/(-36))/((-2)/8))/(-4). Which is greater: s or z?
s
Suppose 54*a - 44*a = 0. Which is smaller: -1/5612 or a?
-1/5612
Let y = -2.1 + 3.4. Let b = 9.49 + -9. Let r = b - 0.39. Which is greater: r or y?
y
Let n = -114 - -118.925. Let s = n - -0.075. Let r = -216 - -1946/9. Which is bigger: r or s?
s
Let f = -14.04 - -14.04. Which is bigger: f or -940?
f
Let z(i) = -3*i**2 + 46*i - 13. Let h be z(15). Let p be -2 + h - (-5 + 2 + -26). Let s = -27 - p. Which is greater: s or -55?
-55
Let z = -6/4885 - -2779577/9770. Which is smaller: 285 or z?
z
Let m = 1142 + -779. Let w(i) = -299*i - 23558. Let n be w(-80). Which is greater: m or n?
m
Suppose -3*n = q - 74, -41*q + 46*q - 422 = -2*n. Let g = 25 - 23. Suppose 91 = -g*y + 265. Which is smaller: y or q?
q
Let s = 455 - 514. Let p be (-4 - 1/(-1))/(177/s). Are 5/36 and p nonequal?
True
Let t = -1130.14 - -1148. Let a = -18 + t. Which is smaller: 6 or a?
a
Suppose 131*p + 19225 = 136*p. Suppose -8*r - 683 = p. Is -567 <= r?
True
Let t = -66 - -61. Let w be ((-159)/4)/(148/(-32) - t). Which is bigger: w or -0.1?
-0.1
Let s = -8875 - -9172. Is 294 smaller than s?
True
Let a be -1 + 4*-3 + (-76356900)/(-5874120). Let k = 1 - 1. Is k > a?
True
Suppose 5*u - 267 - 6 = 3*x, 2*u = 4*x + 112. Suppose u*n = 69*n - 105. Is 6 greater than or equal to n?
False
Let s = 0.24 - 0.41. Let c = -0.17 - s. Suppose 5*u = -5*q + 36 + 109, -4*q + 5*u = -98. Which is smaller: q or c?
c
Let p be (-7615)/(-10)*(5 - (-63)/(-7)). Which is smaller: -3045 or p?
p
Suppose 3*f = -15, 0 = 2*m + 5*f + 3982 - 615. Let t be (-6 - -6) + 0 + m/(-675). Let s = 23/9 - t. Which is greater: -1/9 or s?
s
Let n = 17598.14 - 17600. Which is smaller: n or -11?
-11
Suppose -11*n - 202 = -136. Let d be ((-45)/6 - n)*24/(-9). Which is greater: d or 7?
7
Suppose 0 = -2*x + 5*f - 2067, 1494 = -3*x + 5*f - 1624. Do x and -1053 have different values?
True
Let j be ((63/35)/(-3))/((-18)/(-13 - -7)). Is j <= 89/5?
True
Let s = -276 - -264. Let o be 2780/25*(s/8 - -4). Which is bigger: 277 or o?
o
Let r(u) = -19*u + 310. Let v be r(17). Let w = 19 - 18. Which is greater: v or w?
w
Suppose 0 = -2*o - f - 59 + 65, 3*o - 4*f = -13. Is o not equal to 7601?
True
Let b = -226223/4080 - -321/272. Which is greater: -55 or b?
b
Let y be 4/20 - 1596/(-45). Suppose 0 = -3*n - g - 107, -181 = 12*n - 7*n + 3*g. Let u = n + y. Does u = -88?
False
Suppose -1 = -j + 3. Suppose -j*p + i = -3, 0 = p + p - 2*i. Let d = 862 - 859. Is d greater than or equal to p?
True
Let c be (25/(-4))/25*((-175385)/(-35075) + -5). Is c less than or equal to 1?
True
Suppose -t + 5*g + 17 = 0, -4*t - 18 = 3*g + 29. Is t != -2/3?
True
Suppose -5*l - 510 = -2*h + 4*h, 4*h - l = -1042. Is h at most as big as -263?
False
Let z be (0 - 7/49)*21/(-12). Let v(g) = 5 - 2*g**3 - 9*g**3 - 4*g + 12*g**3 + 6*g**2. Let o be v(-7). Which is smaller: o or z?
o
Let f be 12 + (-8)/12*66/4. Is f not equal to -3/12136?
True
Let s = 103.5 + -111.702. Let u = 0.102 + s. Let f = 57.1 + u. Is f at most as big as -1?
False
Let t(h) = -32*h + 1. Let k be t(4). Let n = k + 120. Are -22/3 and n unequal?
True
Let n = 1226 - 1230.9. Which is smaller: 1.6 or n?
n
Let r = 12590 + -12591. Is r < 1/4826?
True
Let o = -27.7 - -26. Let y = o + 0.7. Let j = 141.87 + -142. Which is bigger: y or j?
j
Let u = 4332 - 4332. Is u < 9/430?
True
Let x = 35283 + -35221. Suppose 4*w + 204 = -40. Let i be 1 + (-2 + 1 - w). Is x != i?
True
Let f be (-3975)/50 - 16 - (-1)/(-2). Is f > -16?
False
Suppose 20*u = -402 + 1922. Let l be 16/u*(9 + -4 - 4). Which is smaller: l or 0.1?
0.1
Let n be -24754*3/75*(-1)/2. Let k = -495 + n. Is k < 3?
True
Let q be (-17)/(-24) - 2/(-12). Let m be (6/2)/(((-56)/(-8))/315). Let a = m - 135. Is q smaller than a?
False
Let d = -0.0211 - -31.4211. Which is greater: d or -8?
d
Let n(x) = 3*x**3 + 8*x**2 - 24*x. Let f be n(-6). Let y = f - -507. Is 292 less than or equal to y?
False
Let s be (-6)/21 - 36271/(-1288). Which is greater: s or 0?
s
Let s(y) = 4*y - 2. Let g be s(-2). Let i = -216.09 - -217. Let h = i + 0.09. Which is bigger: h or g?
h
Let a = -1967/2 + 114083/116. Which is smaller: 1 or a?
a
Let t(x) = 14*x**2 + 171*x - 16. Let s be t(6). Which is smaller: 1 or s?
1
Let v = 23.62 + -23.6. Which is bigger: v or 9/7?
9/7
Let u(f) = -2*f**3 + 22*f**2 - 6*f + 65. Let y be u(11). Is -2/959 less than y?
False
Let n(v) = -342*v + 31. Let l(x) = 686*x - 64. Let b(r) = -4*l(r) - 9*n(r). Let d be b(-1). Which is bigger: d or 0?
0
Suppose -4*g + 223 = -401. Suppose -4*i - 168 = 5*l - 556, -2*l - 2*i = -g. Let b be (-2)/8 + 11/l. Which is greater: b or 1/3?
1/3
Let t = -14761 + 14762. Which is bigger: 1/9790 or t?
t
Suppose 4*v = -3*i - 39, 5*i - 115 + 84 = 4*v. Let p be 4/(-14)*99/2. Let o = p - -14. Is o < i?
False
Let f be (-3)/(-27) - (-3257)/(-23805). Let u = 19442103/50255 - f. Let v = u + -387. Is v smaller than -1?
False
Suppose 0*w + 6 = -2*w, w + 1407 = -4*o. Let r = o - -309. Which is bigger: -44 or r?
r
Suppose -w = 5*s - 27, -w = 2*s - 4*s - 13. Suppose -10 = -w*b + 75. Let x = -2 + 4. Is b >= x?
True
Let w = -5033 - -5032. Which is smaller: w or -23/188?
w
Let p = -403.63 + 407. Let x = p + -5.37. Which is greater: 6/17 or x?
6/17
Let d(h) = -h**2 + 17*h - 13. Let x be d(16). Let b be 2 - (-2 - -1) - x. Let j be 1/(b - (-1)/2). Is -0.07 greater than or equal to j?
False
Let w be ((-6812)/(-400) + 32/(-400))*4. Is w at least as big as 67?
True
Let n(i) = -16*i**3 + i**2 - 1. Let d be n(1). Which is greater: -19 or d?
d
Suppose 22 = 3*l - 17. Let p = 21 - l. Suppose -9*i + 12*i - 21 = 0. Are i and p nonequal?
True
Let g = 136 - 68. Let j = 7015/6 - 2205/2. Let h = j - g. Is h <= 1?
True
Let b = -2/18675 - 12448/18675. Is b greater than 740?
False
Suppose 7029 = 3*o + a, 2*o = 4*o - 2*a - 4694. Are o and 2344 equal?
True
Suppose -11*q + 26427 = 48*q - 182. Is q not equal to 451?
False
Let o(n) = 9*n**2 - 12*n + 28. Let z be o(-7). Let i(c) = 551*c**2 - 16*c - 15. Let r be i(-1). Which is smaller: z or r?
r
Let i = 22812/26425225 - -3/41225. Is 1 equal to i?
False
Let j = -0.304 + -1.428. Let c = j + -0.268. Is c less than 35?
True
Let a be (27/(-14) - -2)*2. Let m(z) be the third derivative of z**6/120 - z**5/30 - 5*z**4/24 - 2*z**3 + 9*z**2 + 5*z. Let k be m(4). Are k and a equal?
False
Suppose -4*v = 4*m - 0*m - 12, 3*v + m - 3 = 0. Let i = 327.411 - 0.411. Let z = i + -327.7. Is z not equal to v?
True
Let q = -12029 - -1407397/117. Let n = 5 - 4. Which is bigger: n or q?
n
Let u(a) = -a**2 - 30*a - 62. Let b be u(-21). Let k = 127 - b. Let w be ((-8)/6)/((-57)/(-9)). Is k > w?
True
Let z be (-8440)/(-2108) + 9/((-18)/8). Let d = z - 531/1054. Is 0 less than d?
False
Let y = 39271 + -39272. Let v = -1.06 - -8.16. Is y <= v?
True
Let c = 300 + -176. Let j = -123.9 + c. Which is smaller: -0.078 or j?
-0.078
Suppose 0 = 375*t - 385*t + 12180. Suppose -7*s = 3612 + t. Are -690 and s equal?
True
Let l(x) = 252*x**3 - 2*x**2 - 2*x + 2. Let m be l(1). Suppose -509 = -3*c + m. Is c less than 252?
False
Let t = 2513 + -19181/8. Which is smaller: 114 or t?
114
Let r = 985 + -985.9824. Let v = 0.0176 - r. Do v and -129 have different values?
True
Let n = -21229/3 + 148648/21. Which is smaller: n or -106.1?
-106.1
Let r = -243 + 255. Suppose 25*p - r*p - 13 = 0. Which is greater: -2/97 or p?
p
Let q be 4/6*6/4. Let x be (-27)/28350*-15*(2 + -1). Which is smaller: q or x?
x
Let r = 22852 - 22574.11