o w and y have different values?
True
Let s = 5366931/5788 + -3709/4. Which is greater: s or 1?
1
Let u be 3/(-6 + 9) + (-4 - (-145)/95). Let s be 5/(-6) + 1/(-6). Which is bigger: s or u?
s
Let g = 306.5 + -17.5. Let h = g - 284. Which is smaller: h or -1/11?
-1/11
Let y(f) = -3*f - 9. Let q be y(-5). Let g = q - 7. Let c be (g - -43)*2/(-32). Is c at least as big as -4?
True
Let i(x) = -256*x + 346. Let d be i(1). Which is greater: 35 or d?
d
Suppose -i - 12 = -5*l, 14 = 5*i - 7*i. Which is smaller: -5/808 or l?
-5/808
Suppose 8*s - 4*u - 8 = 5*s, -4*s + 2*u = -24. Suppose -4*j + 5*k - s = 15, k = 3. Let y be 2/(2/(-2))*j + -4. Which is smaller: y or -3/4?
-3/4
Suppose -27*z + 32*z = -1350. Let g be 1 - 1346/z - 6. Is g greater than -1?
True
Suppose -20*o - 29*o = -0*o + 2254. Is -592/13 >= o?
True
Suppose 5*o + 14 + 1 = -5*k, 0 = k - o + 7. Let m be (0 - 12/k)*10/4. Is m greater than or equal to 32/5?
False
Let o(m) = 3*m**2 + 4*m**2 + 0*m**2 - m**2 - 5*m**2 - m**3 + 4*m. Let n be (-1 - -2)/((-1)/3). Let w be o(n). Are w and 24 non-equal?
False
Suppose 0 = -5*n + m + 967, -5*m - 64 - 139 = -n. Let b = -305 - -499. Which is smaller: b or n?
n
Let f(n) = 133*n + 1183. Let c be f(-9). Let a be (-7)/(49/(-35)) - 6. Which is smaller: c or a?
c
Let r be 5296/88 - 4/22. Let k be 7*(4 - r/16). Suppose 11*o - 9*o = -4*a + 4, -3*a + 4*o + 3 = 0. Which is bigger: k or a?
k
Let j = -26 + 10. Suppose -20*k = -18*k + 4. Let g be (-31 - -31)*(1 + k). Are g and j equal?
False
Let g = -385247219 + 401812919461/1043. Let p = 470/7 - g. Is p at most as big as -1?
False
Let y = 9118 + -8938. Which is smaller: 201 or y?
y
Let u = -37.1 + 124.8. Let k = u - 88. Is k at most -36?
False
Suppose 52*d = -21273 - 11695. Let v = d + 633. Let s = 2/159 + -19/106. Which is greater: s or v?
s
Let z(r) = 3*r**3 - 19*r**2 + 4*r + 33. Let l be z(6). Suppose 5*t - 4*t - 40 = -2*i, 0 = 4*t. Which is greater: i or l?
l
Let k = -1894.044 - -25.844. Is k != -1?
True
Let u = 1071 - 2147/2. Which is smaller: u or 189?
u
Let w(o) = -11*o**2 - 7*o + 22. Let b be w(4). Let r = b - -171. Is r bigger than 1?
False
Let y be 7/15*(344 - 347). Is y at most as big as 61?
True
Let t = -100 + 106. Suppose -2*s - l = -2*l - 18, s - t = 2*l. Let b be -6*-5*(-1)/s. Which is smaller: -4 or b?
-4
Let g(a) = 6*a**3 - 4*a**3 - a**3 - 4*a**2 + 3*a. Let h be g(2). Let q be 2 - 1*(h + 1)*-1. Which is smaller: 1/5 or q?
1/5
Let a be 42*104/2664 - (-6)/(-9). Is a < 3/7?
False
Let x be 1308/(-218) + -1 + 946022/(-251). Let t = 3776 + x. Is t != 0?
True
Let c = 2176 + -2175.9. Which is smaller: -3/2471 or c?
-3/2471
Let g(u) = -3*u**2 - 58*u + 472. Let h be g(-30). Which is smaller: -492 or h?
-492
Let f be ((-472)/(-20))/(7/(-105)). Which is smaller: f or -347?
f
Let x be 13/((-1248)/(-60))*1032/(-220). Which is bigger: -4 or x?
x
Let i = -2 - -1.8. Let c = -157585/2 + 78800. Which is greater: c or i?
c
Let o be (5*(-5)/5 + 667)*3/(-6). Is o bigger than -331?
False
Suppose r + 194 = 192. Let u be 26/(-52)*388/r. Let v = 66 - u. Which is smaller: v or -32?
-32
Let l(f) = 6*f**3 + 34*f**2 - 197*f + 7. Let m be l(7). Which is smaller: m or 2351?
2351
Let z be (15/(-2))/(-3)*60/50. Suppose -5 = 5*f, 3*k - 2*k - 17 = z*f. Which is bigger: -18 or k?
k
Let n = 1232 + -1231.9. Is -51/20 at most as big as n?
True
Let d be ((-352)/(-24))/((-34)/(-9)). Let i = 19530 - 19525. Which is smaller: i or d?
d
Let z = -19 - -23. Let t be (56/(-21))/(z/(-6) + 0). Suppose 0 = -y - v, 3*v - t = -3*y - y. Are 2 and y equal?
False
Let y = -37 + 48. Suppose -2*m - n = 1, 5*m + 0*n - y = 2*n. Let s be (-21)/2 - m/2. Is -1 at most as big as s?
False
Suppose -8*w + 12*w + 308 = -4*h, w - h + 79 = 0. Let t be (4/((-96)/w))/((-7)/4). Is -2 less than or equal to t?
True
Suppose -5*o + 3*g = -2*g, 0 = -4*o - g + 10. Suppose -4*r - 26 = -o*f, f = -r + 7 - 0. Let c be 14 + (-4)/(12/f). Is c less than 4?
False
Let o = -109874/7 - -15696. Which is smaller: 29/162 or o?
o
Let k = -80 - -447. Suppose 57*a + 89 = -k. Is -10 greater than a?
False
Let i be (-8)/20 - (-136)/90. Let g be (36/24)/((-15)/(-4010)). Let p = -400 + g. Is p equal to i?
False
Let m = 296 - 311. Let s be (m/(-60))/((-4)/(5 - 1)). Is s at most as big as -12?
False
Suppose 0 = 5*x + 6 + 9. Let k be ((-18)/12)/((-3)/(-234)*-3). Suppose 0 = -k*a + 40*a + 3. Is a != x?
False
Suppose m - 396 = 12*m. Let z = m - -36. Which is bigger: -16 or z?
z
Let g be (8 + (-42)/36 + -7)*-12. Which is smaller: 13/24 or g?
13/24
Let z = 2804 - 2804.2811. Is z at most as big as -2/5?
False
Let b be 58830/18 - (1 + 1). Let r = b - 3229. Which is smaller: r or 37?
37
Let b be -7*(7236/14)/(-9). Let i be 6/(-4) - (b/(-36) - -10). Is i >= -115?
True
Let n be -1 + -1 + (-4616)/(-1216). Let l = n + 3/38. Let t = 13/8 - l. Is 3/7 less than or equal to t?
False
Let b(r) = 4*r - 6 - 1 - r - 1. Let n be b(6). Is n <= 7?
False
Let g(r) = -r**3 + 14*r**2 - 45*r + 1. Let k be g(9). Which is greater: 136/61 or k?
136/61
Let a be (-20)/(-35) + ((-1125)/21 - -2). Let p be a/(-34)*(-16)/(-6). Let q(r) = -2*r + 6. Let x be q(p). Is -9/17 < x?
False
Let l(i) = i**2 - 11*i - 1. Let s be l(11). Let v be (3/6)/s*5*-22. Suppose 5*z = -5*q + v, 2*q + 53 = 5*q - 2*z. Which is smaller: q or 13?
13
Let a be (-1893)/(-231) + (-2)/7. Suppose 6543*o + 35 = 6548*o. Is o at least as big as a?
False
Let n be -36*29/(-348) - 42/10. Do -4/5 and n have the same value?
False
Let p = 1/1207 + 1181/31382. Is p < 74?
True
Suppose 0 = 5*v + 425 - 140. Let g = v + 60. Suppose -29*m + 32*m + g = 0. Is -1 greater than m?
False
Let c = 2228 - 3639. Do c and -1412 have different values?
True
Suppose 44 = d - 5*n, 4*d - 83 = 2*n + 3. Let y(v) = v**3 + 19*v**2 + 86*v + 628. Let z be y(-16). Is d less than or equal to z?
True
Let o = 16 + -14.8. Let k = -1.1 + o. Let p = -10275 - -10321. Which is greater: k or p?
p
Let i = 170.39 - 170.39. Is 2/1137 bigger than i?
True
Let h be ((-28)/8 + 5)*(4 + -2). Suppose 5*w + 2*k - 359 = -0*k, 148 = 2*w + h*k. Is w greater than 69?
True
Let t = 4633/2 + -2314. Which is bigger: t or 8?
8
Let s = 0.064 + 557.936. Let g = s - 561.8. Is 4 at least g?
True
Let w = -1.6 + -0.8. Suppose 0 = 5*u, 4*a - 9*a = -4*u + 15. Are w and a nonequal?
True
Suppose -3*u + 0*u - 8424 = -4*f, -u + 8440 = 4*f. Let k be (f/98)/(14/28). Let l = 43 - k. Is 0 less than l?
False
Let o = -0.179 + 0.234. Let j = -29.3232 + 0.2682. Let w = j + o. Which is bigger: w or 1?
1
Suppose -v - 18*u - 10 = -20*u, 0 = -3*u + 15. Which is bigger: v or 32/27?
32/27
Let n be (-7)/14*74 + -3 + 13. Let h be 1 + 1 - (2 - 2). Suppose -3*g = 0, -h*g = -5*i + g. Do n and i have different values?
True
Suppose 2937 = 6*w + 297. Let h = -555 + w. Is h at most -115?
True
Let j = 388 - 384. Suppose -4*g - g + 15 = -2*m, -g + 3 = -j*m. Which is greater: m or -8/79?
m
Let v = 11613/5 - 23211/10. Let c = -1549.03 - -1541. Let p = -0.03 - c. Is p < v?
False
Suppose 0 = -4*m + 3 + 5. Suppose -2*p - 3*y + 154 = 2*y, 138 = m*p - 3*y. Let a(l) = -l**3 - 125*l**2 + 254*l + 73. Let h be a(-127). Is h >= p?
True
Let v = 0.367 + -2.257. Let m = v + 1.89. Is 1/81 < m?
False
Let t(h) = h**3 + 5*h**2 + 5*h + 3. Let l = -4 - 0. Let u be t(l). Let f = -142 - -992/7. Are f and u non-equal?
True
Let d = -2477 + 2648.7. Let q = d - 172. Which is bigger: q or 22?
22
Let a = 10831 + -10451. Is -0.6 at most a?
True
Suppose -3*o + 201 = 3*c, -4*o + 142 = -2*o - 2*c. Let j = o - 65. Let y be (j/(-6))/(3/(-27)*-1). Is -7 bigger than y?
False
Let x = 6/22087 - -195261/12965069. Are x and 0 equal?
False
Suppose 16*y - 14*y = 2704. Let x be y/340 + 1 + -5. Suppose 3*u = -4*o - o - 10, -3*u + 4*o + 8 = 0. Is x != u?
True
Let m = 1475 - 306. Let z = 1219.1 - m. Let b = -50 + z. Is b <= 28?
True
Suppose 191 + 384 = 4*y - 5*t, y = -2*t + 134. Let n = -71 - 984. Let j be n/y - (-4)/14. Is j equal to -6?
False
Suppose 16*r = 1580 - 1532. Which is smaller: r or 122/71?
122/71
Let n = -4571 - -4593. Which is bigger: 833/40 or n?
n
Let n = 927 + -986. Which is smaller: n or -29?
n
Suppose -11*y + 12*y - 4*b + 29 = 0, 4*y + 95 = 13*b. Let i = 8511/5 + -1710. Which is greater: i or y?
y
Suppose -23*h - 31*h + 21830 = -49*h. Which is smaller: h or 4367?
h
Let o = -1173 + 681. Let u = o - -51