 - -11) + -1 - 12. Do d and -149/18 have different values?
True
Let o be (-666)/(-33) - (-28)/(-154). Let k be (-4)/10*o/(-8). Which is smaller: k or 0.34?
0.34
Let l(m) = m**3 - 22*m**2 - 73*m - 69. Let k be l(25). Which is greater: k or -21?
k
Let j(o) = 13*o**2 + 315*o - 102. Let q be j(-25). Suppose 4*g - 130 = -d, 5*d + g + 0*g - 745 = 0. Is q < d?
True
Let y be 64/(-1248) + (-7172)/78 + -5. Let v be 2324/(-24) - 3/18. Is v smaller than y?
False
Suppose 0 = q - 6*q + 5. Suppose -4*o + 3*v = -62, -5*o = -0*o + 5*v - 95. Suppose -o*w = -14*w. Which is smaller: w or q?
w
Suppose -3*r - b - 637 = 0, -4*b = 10*r + 2676 - 558. Is r greater than -37?
False
Let y be ((-336)/80 - 2) + 2 + 4. Is y smaller than 0.0318?
True
Let a(l) = -8*l + 23. Suppose 4*d - 9 = 3*d + 3*j, 5*d - 7 = -4*j. Let z be a(d). Let f be (-26)/36 + 5/10. Which is bigger: f or z?
f
Let w = 11772 + -9218. Is w at least 2555?
False
Let y = 6642/13 - 13031617/25506. Which is greater: 0 or y?
0
Let m be -1*2/(-18) - 0. Suppose 16*w = w + 5220. Let v = w - 344. Is v equal to m?
False
Suppose 0 = -5*z - 5, 0*k + 21 = 5*k + 4*z. Suppose k*s + 2*j = -162, -38 + 8 = s + j. Let c be 12 + -3 - (-14 - -55). Is c not equal to s?
True
Suppose 12*h - 30*h - 162 = 0. Let j = 10 + h. Let w be 2 - (j/10)/((-5)/(-90)). Which is smaller: 0 or w?
0
Let y be (-796)/(-6766) - (-1 - 12331/(-51)). Are -0.03 and y nonequal?
True
Let m(v) = 33*v + 31*v - 54*v. Let s(b) = b**2 - 6*b + 2. Let f be s(5). Let z be m(f). Which is greater: z or -29?
-29
Let b be 4*(3 - (-98)/(-4)). Let l = -85 - b. Suppose -l = 11*p - 45. Which is bigger: p or 8/3?
p
Let f(c) = c**3 - 7*c**2 - 5*c + 4. Let h be f(7). Suppose 2*y + 17 + 39 = 0. Which is smaller: h or y?
h
Let x = -5.106 + -1.894. Let t = 28.062 - 0.062. Let h = -29 + t. Is x > h?
False
Let h be 1261/(-9) - (-17)/153. Let y = -27 - h. Which is smaller: 112 or y?
112
Let n be 710/8 - ((-396)/48 - -8). Is 84 bigger than n?
False
Let s = -421 + 418. Let l be s - (-120 + 4 - 8). Which is smaller: l or 601/5?
601/5
Let w(v) = -v**3 - 27*v**2 + 23*v - 117. Let z be w(-28). Suppose -608 + 148 = -z*t. Suppose 0 = -4*d + b + 68, -2*d = d + 2*b - 62. Which is smaller: d or t?
d
Let c = -471.54 - -466. Let f = -3.46 + c. Which is smaller: 1.4 or f?
f
Let o be 2/3*3/(-17). Let p = 196 + -193. Suppose p*l - 2 + 2 = 0. Are l and o non-equal?
True
Let m(o) = -1 - 6 - 3 - o - 8. Let k be m(0). Let q(r) = -26*r - 227. Let i be q(-8). Which is greater: k or i?
k
Suppose 0 = -4*j + 7*j - 195. Let c = -353 + 355. Which is smaller: j or c?
c
Let i be (-78)/(-24)*18*2. Suppose 4*v + i = -2*b - b, -4*v - 152 = -4*b. Suppose -2*h + h = 34. Which is smaller: v or h?
h
Suppose 0 = -4*x - y + 88, 4*x - 80 = y - 4*y. Let i be 50*(39/(-6) + 7). Is x less than i?
True
Let r be (1 + 12)/(62/(-62)). Suppose -4*n = -3*u + 11 - 43, 5*u - 4*n = -64. Are r and u equal?
False
Let x = -743 + 737. Let d = -360.4 + 360. Which is greater: d or x?
d
Let z be 4/10 - (-292)/220. Let n = -26279 - -26280. Which is greater: n or z?
z
Let f = 200.76 - 200.76. Are -502 and f equal?
False
Let v = -35927/5 - -7176. Let k be 2/(-10) + 17/35. Which is greater: k or v?
k
Suppose -9*k = -6*k - 5*h + 17, 3*k + 13 = 4*h. Let n be (-3)/(-4) + (-225)/60. Which is bigger: n or k?
k
Let r = 5881 - 4833. Do 0.1 and r have the same value?
False
Let a = -0.069037 - -563.159037. Let c = a + -601. Let w = c + 38. Is 1/5 less than w?
False
Suppose 8*x + 105 = 13*x. Suppose -3*i + 18 = 3*y, 4*y = -3*i + 3 + x. Suppose y*r = -40 + 124. Is r smaller than 14?
False
Let j(k) = k - 2. Let w be j(6). Suppose -1 = w*s - 5*x - 10, 0 = -5*s + 5*x + 5. Suppose -18*v = -20*v - 16. Which is greater: v or s?
s
Let s = -88 - -227. Suppose 149 - s = 2*z. Suppose -1 = -d, 4*n = -n - z*d + 30. Which is bigger: n or 2?
n
Let q(o) = -264*o - 5000. Let r be q(-19). Which is bigger: 68 or r?
68
Let g = -2118/2591 + 48834611/116595. Let w = g + -418. Is w bigger than 0?
True
Let q be 2/(-5 + 19)*-2. Let w = 104 - 305/3. Which is bigger: w or q?
w
Let a(b) = 2*b**3 - 8*b**2 - 363*b - 97. Let c be a(19). Which is greater: c or 3834?
c
Let v(o) = o**3 + 8*o**2. Suppose -4*f - 4*h + 3*h = 35, -5*f - 52 = 4*h. Let k be v(f). Suppose k = 2*s + 55 + 49. Is s < -52?
False
Let t = 41920 - 545265/13. Which is bigger: t or -24?
t
Let y be -2*(-329)/98 - (-4)/14. Suppose 0 = -5*f + 2 - y. Let s = -989/51 - -58/3. Is s bigger than f?
True
Let r(b) = -3. Let x(a) = 3*a + 7. Let i(f) = -4*r(f) - x(f). Let o be i(2). Is -6/155 at most as big as o?
False
Let x = 7755 - 7755.3. Which is greater: -645 or x?
x
Let u be ((-324)/(-666288))/(27/144). Which is smaller: u or -1?
-1
Let f = 6004 - 11741. Which is bigger: f or 0?
0
Suppose -53*v - q + 12 = -57*v, 3*q - 26 = 2*v. Are v and 2/81011 non-equal?
True
Suppose 37 = 10*q + 57. Let n be (0 + 2 + q + -1)*0. Which is smaller: n or 42/5?
n
Suppose t + 5 = 4. Let k be 2422/(-268) - (-43 - -34). Let n = k - -1119/26398. Is n >= t?
True
Suppose -2*i - 9 = -2*p - 89, -2*p - 4*i = 104. Let t be 262/8 - 11/p. Let u = t - -47. Is 80 >= u?
True
Let u = 8808/1121 - 148/19. Let a = -111/767 + u. Let r = -0.046 + 0.446. Is a smaller than r?
True
Let q = 49.054 + -0.054. Let k = q - 72. Let t be 6/(-4) - (-11)/6. Which is smaller: t or k?
k
Let b(k) = 5*k + 227. Let t be b(-43). Let z be (-17)/(-68)*t/(-5). Is -2 < z?
True
Let p(t) = 32*t + 641. Let x be p(-20). Which is smaller: x or 26/101?
26/101
Suppose 137 = -3*m + 143. Suppose 2*f = 4, 2*k + 0*f = m*f - 8. Let c be 3 + -2 + 3 + k. Which is greater: 1 or c?
c
Suppose 2*t + 20 + 2 = 0. Let p(y) = y**2 - 23*y + 2. Let q be p(29). Let u = -186 + q. Is u greater than or equal to t?
True
Let n = 1/16921 - -11689/88530672. Is 0 at least as big as n?
False
Suppose 0 = -38*k + 55*k + 110228. Let q = 486308/75 + k. Which is smaller: q or 1?
q
Let s = 1831 - 21967/12. Is s != -1/5?
True
Let z = 7.5 - 1.5. Let v be -20 - ((-1925)/147 - 7). Is z bigger than v?
True
Let i = -11394509 + 15473742439/1358. Let j = i - -1/194. Is 5.8 greater than j?
True
Let v be 2 - (5 + 7)*(-24)/(-36). Which is bigger: -117/23 or v?
-117/23
Let a = -5033.3 - -5041. Which is bigger: a or 2/13?
a
Let h = 306 - 479. Let q be 1564/(-9) - (-2)/2. Let b = q - h. Is 0.2 < b?
True
Let d = 2547 + -2874. Is -327 greater than d?
False
Let k = 10.9 - 96.9. Let p = 85.9 + k. Is 2/25 >= p?
True
Let a = 151928/103 + -1475. Let q(t) = -116*t - 2320. Let f be q(-20). Do a and f have different values?
True
Let c(j) = j**2 + 14*j - 30. Let u be c(-16). Suppose -u*g + 3 = g. Let f = 33 + -31. Is g < f?
True
Suppose -4*y - 24 = 0, 3*w + w - 5*y - 26 = 0. Which is greater: w or 2/10135?
2/10135
Let k = -24 - -31. Let b = k + -3. Let c = -51 - -50. Is b > c?
True
Let d = -1544.1116 - -2.1116. Which is bigger: -0.3 or d?
-0.3
Suppose 9 = 24*w - 15. Is w equal to -10/57?
False
Let y(j) = 57*j**2 - 4*j - 4. Let v be y(-2). Is v != 231?
True
Let m(h) = -h - 23. Let x = 20 - 36. Let q be m(x). Let t be 88/(-231)*q/(-6). Which is bigger: 0 or t?
0
Suppose 4*h + 25 = 46*q - 47*q, -2*h = q + 15. Is q at least as big as 77?
False
Let u = 5434 - 5445. Which is smaller: u or 68?
u
Suppose -100 = -j - 4*j. Let f be 48/2 - (-5 - (-15 - -7)). Which is smaller: f or j?
j
Let d be -8232 - ((-6669)/13)/27. Are -8214 and d non-equal?
True
Suppose 1482*d = 1548*d - 66. Let f be ((-5)/2)/(12/21). Let z = -467/104 - f. Which is greater: z or d?
d
Let t be ((-1809)/225)/((-630)/(-675)). Which is greater: t or -9?
t
Let y(p) = -4*p - 3 - 2*p + p. Let c be y(-8). Let z = 40 - c. Is z at least as big as 1?
True
Let j = 2496 - 2522.19. Let a = -23.233 - j. Let t = -3 + a. Which is bigger: 0.1 or t?
0.1
Let q(a) = a**2 - 2*a - 6. Let l be (-8)/(-2) + 28/(-14). Suppose -2*g = l*g - 3*g. Let x be q(g). Is x at least 2/11?
False
Suppose 4*i = 13*i - 63. Let r(x) = x**2 - 7*x + 1. Let k be r(i). Let d be 4 + k/(85/(-330)). Are -1 and d non-equal?
True
Let s(c) = 4*c**2 + 27*c + 10. Let g be s(-13). Suppose 0 = -5*q - 0*q + g. Let i = q - 69. Is i at most as big as -15/7?
False
Let x = -5605 + 5605.76. Is 0.01 greater than x?
False
Let r = 6129 - 6126.922. Which is greater: -3 or r?
r
Let q(i) = -5*i - 8. Let w be q(-2). Let d be (9 - 8) + w + 2/(-2). Is d